02/09/2018

Negación Conjunción

Definimos la negación de P como el  P Definimos la conjunción de P P  Q

enunciado que es verdadero si P es falso, F V con Q como el enunciado que V V V
y falso si P es verdadero. es verdadero si P y Q lo son, y
V F V F F
Simbolización: P. falso en cualquier otro caso.
F F V
Lectura usual: No P. Simbolización: PQ.
Lectura usual: P y Q. F F F

Disyunción Bicondicional

Definimos la disyunción entre P  Q Definimos el bicondicional entre P  Q

P y Q como el enunciado que V V V P y Q como el enunciado que es V V V
es verdadero si al menos uno verdadero si P y Q tienen el
V F F V F F
de ellos, P o Q, lo es; y falso si mismo valor de verdad, y falso si
ambos son falsos. F F V lo tienen diferente. F F V
Simbolización: PQ. F F F Simbolización: PQ. F V F
Lectura usual: P o Q. Lectura usual: P si y sólo si Q.

Condicional

Definimos el condicional de P P  Q
hacia Q como el enunciado V V V
que es verdadero si P es falso o
V F F
Q verdadero; y falso si P es
verdadero y Q falso. F V V
Simbolización: PQ. F V F
Lectura usual: Si P entonces Q.
PQ

Antecedente Consecuente