1
Una proposición es una afirmación que es verdadera o falsa, pero no ambas al mismo tiempo
2
Son términos como "y", "o", "no" que se utilizan para combinar proposiciones para formar nuevas proposiciones
3
Es una proposición que afirma que si una proposición es verdadera, entonces otra proposición también lo es. Se denota por "si...entonces...".
4
Es una proposición que afirma que dos proposiciones son equivalentes, es decir, si una es verdadera, entonces la otra también lo es, y viceversa. Se denota por "si y solo si".
5
Principios fundamentales que rigen la manipulación de proposiciones, como la ley de la identidad, la ley de la no contradicción y la ley del tercero excluido.
6
El conectivo que transforma una proposición verdadera en falsa, y viceversa.
7
El conectivo que combina dos proposiciones con "y"
8
El conectivo que combina dos proposiciones con "o".
9
El conectivo que representa la relación "si...entonces...".
10
El conectivo que representa la relación "si y solo si".
11
El área de la lógica que estudia proposiciones simples y cómo se combinan.
12
13
Una proposición que es siempre verdadera
14
Una proposición que es siempre falsa.
15
Una representación de todas las posibles combinaciones de valores de verdad para una proposición o una función lógica.
16
Una regla de inferencia que establece que si se tiene "P" y "si P entonces Q", entonces se puede concluir "Q".
17
Una regla de inferencia que establece que si se tiene "si P entonces Q" y ¬Q, entonces se puede concluir ¬P.
18
Una forma de razonamiento que implica dos proposiciones condicionales y una conclusión.
19
Una forma de razonamiento que implica dos proposiciones disyuntivas y una conclusión
20
El estudio de la lógica utilizando símbolos y reglas formales