1
La proposición si A implica B tiene una contrapositiva, la proposición si (no B ) implica (no A )
2
es una incompatibilidad entre dos o más proposiciones.
3
sistema formal diseñado para analizar ciertos tipos de argumentos.
4
es el modo de ser o característica de algo en cuanto a que puede ser o no ser, dependiendo del caso (algo que no es necesario, pero sí es posible).
5
Al decir que A es suficiente para B, estamos diciendo precisamente lo contrario: que A no puede ocurrir sin B, o cuando sea que ocurra A, B ocurrirá. Es decir, que el hecho de que exista fuego es suficiente para que haya humo.
6
Al decir que A es necesaria para B, estamos diciendo que B no puede ser verdadera a menos que A sea verdadera, o que cuando quiera, donde quiera, o como sea, A es verdadera, si B lo es.
7
entre dos proposiciones es un conector lógico, cuyo valor de la verdad resulta en falso sólo si ambas proposiciones son falsas, y en cierto de cualquier otra forma
8
entre dos proposiciones es un conector lógico cuyo valor de la verdad resulta en cierto sólo si ambas proposiciones son ciertas, y en falso de cualquier otra forma
9
La proposición condicional si A implica B tiene su recíproca la proposición condicional si B implica A .