Bicondicional

Enviado por Programa Chuletas y clasificado en Filosofía y ética

Escrito el en español con un tamaño de 1,15 KB

 
disjuncio:V P o Q - 00 fals/conjuncio:^ P i Q 1 1 cert condicional:--> P llavors Q 10 fals/bicondicional:<--> nomes P llavors Q 01 fal s //Tautologi k - contradictori - consisten //IN P-Q^¬Q=¬P/EN ¬P-Q^¬Q=P/IC P-Q=P^Q/EC P^Q=P/ID P=PvQ/EB P<->Q=P->Q/IB P->Q=P<->Q/MP P-P->Q=Q/ICon P-Q=P->Q/DN ¬¬P=P/MT P->Q-¬Q=¬P



Lleis Morgan: ¬(X^Y)<->¬Xv¬Y / ¬(XvY)<-> ¬X^¬Y
Definicions: X^Y <-> ¬(X->¬Y) X^Y <-> ¬(¬Xv¬Y)
XvY <-> ¬X -> Y XvY <-> ¬(¬X^¬Y)
(X -> Y) <-> ¬(X^¬Y) (X -> Y) <-> ¬XvY

Entradas relacionadas: