fregejs/src/utils/buildConjunctionString.ts

A propositional logic library written in Typescript

export function buildConjunctionString(premises: string[]) {
  const conjunctionFormulaArray: string[] = premises.map(
    (premise) => `(${premise})`
  );
  const conjunctionFormulaString: string = conjunctionFormulaArray.join('∧');
  return conjunctionFormulaString;
}