Conjunción (˄) es
verdad cuando los 2 son
verdaderos.
Disyunción (V) es falsa
cuando las 2 son falsas.
Condicional (⇒) es falso
cuando el antecedente es
verdadero y el consecuente es
falso.
P⇒q
P
q
P⇒q
-q
-p
Modus tolendus
tolem (MTT)
Modus
ponendus
ponen (MPP)
P⇒q
R⇒p
R
p (MPP)2,3
q (MPP)1,4
Disyunción fuerte (⊻ )
es falsa cuando los 2
valores son iguales.
Bicondicional (⟺) es
verdadero cuando las
2 preposiciones
tienen el mismo valor
de verdad (VyV o
FyF)
P⇒q
q
no hay
conclusión
u⇒v
q⇒u
-v
-u (MTT)1,3
-q (MTT)2,4
P⇒q
-p
no hay
conclusión
0
