Categoría:Lógica proposicional

A

• Álgebra de Boole (3 cat, 26 págs.)
• Algoritmos SAT (2 págs.)

C

• Conectivas lógicas (23 págs.)

F

• Formas normales (7 págs.)

L

• Lógica de predicados (1 cat, 17 págs.)

R

• Reglas de inferencia (33 págs.)

T

• Teoremas de la lógica proposicional (28 págs.)

• Introducción de la negación
• Lógica proposicional

A

• Álgebra de las palabras

C

• Cálculo proposicional de Frege
• Cláusula (lógica)
• Completitud funcional
• Conectiva lógica

F

• Fórmula proposicional
• Función proposicional

G

• Gráficos existenciales

L

• Lenguaje proposicional
• Literal (lógica matemática)
• Lógica estoica

M

• Modus ponendo ponens
• Modus ponendo tollens
• Modus tollendo ponens
• Modus tollendo tollens

N

• Negación lógica

P

• Proposición
• Prueba condicional

R

• Regla de inferencia
• Reglas de reemplazo

S

• Satisfacibilidad

T

• Tabla de verdad
• Tautología

V

• Variable proposicional