1
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".
2
El estudio de la lógica utilizando símbolos y reglas formales
3
Son términos como "y", "o", "no" que se utilizan para combinar proposiciones para formar nuevas proposiciones
4
Una forma de razonamiento que implica dos proposiciones condicionales y una conclusión.
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
Una proposición que es siempre verdadera
7
El conectivo que transforma una proposición verdadera en falsa, y viceversa.
8
Una forma de razonamiento que implica dos proposiciones disyuntivas y una conclusión
9
Una proposición es una afirmación que es verdadera o falsa, pero no ambas al mismo tiempo
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
Una regla de inferencia que establece que si se tiene "si P entonces Q" y ¬Q, entonces se puede concluir ¬P.
13
El conectivo que combina dos proposiciones con "y"
14
Una proposición que es siempre falsa.
15
Una regla de inferencia que establece que si se tiene "P" y "si P entonces Q", entonces se puede concluir "Q".
16
El conectivo que representa la relación "si...entonces...".
17
18
Una representación de todas las posibles combinaciones de valores de verdad para una proposición o una función lógica.
19
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...".
20
El conectivo que combina dos proposiciones con "o".
