Entradas etiquetadas con "tableaux".
Cubre los dos bloques del temario: (1) Lenguaje y semántica — fórmulas, conectivas, árboles sintácticos, formalización, tablas de verdad, equivalencias y formas normales — y (2) Razonamiento —…
