Conectores Lgicos

La NegacinLa operacin unitaria de negacin,no es cierto quese representa por y tiene la siguiente tabla de verdad de verdad

pp

VF

FV

Laconjuncinde las proposiciones p, q es la operacin binaria que tiene por resultado p y q, se representa porp^q, y su tabla de verdad es:

pqp^q

VVV

VFF

FVF

FFF

Ladisyuncinde dos proposiciones p, q es la operacin binaria que da por resultado p q, notacinp v q, y tiene la siguiente tabla:

pqp v q

VVV

VFV

FVV

FFF

Lacondicionalde dos proposiciones p, q da lugar a la proposicin; si p entonces q, se representa porpq, y su tabla de verdad est dada por:

pqpq

VVV

VFF

FVV

FFV

Labicondicionalde dos proposiciones p, q da lugar a la proposicin; p si y slo si q, se representa porpqsu tabla de verdad est dada por:pqp q

VVV

VFF

FVF

FFV