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
