Conectivas Biproposicionales

lunes, 05 de diciembre de 2011 10:21

Conjuncin: Principio: Es V cuando sus dos clausulas son V, F en caso contrario.

VV =V V F=F F V =F F F = F

Principio de la conmutatividad: El orden de las clausulas no afecta el resultado. pq=qp VV =V V = V VF= FV= F FV = VF = F FF = F F =F Principio de la asociatividad (agrupacin) : El orden de la agrupacin no afecta el resultado. (p q) r = p ( q r) (V V ) V = V ( V V) + Ver tabla pag anterior . Para que la conjuncin sea V todas las agrupaciones deben ser V Alternacin:
Principio: La alternacin es V cuando al menos una de sus clausulas es V; en caso contrario es F

VvV = V VvF= V FvV = V FvF = F Principio de la conmutatividad: p v q = q v p . Es decir, son equivalentes pvq=qvp V V=V V V= V V F= V F V=V F V= V V F=V F F=F F F=F Principio de la asociatividad: (p v q) v r = p v ( q v r) . Es decir ; son equivalentes. Para que la conjuncin sea F todas las agrupaciones deben ser F.
Disyuncin

Principio: es F cuando ambas clausulas son V, o cuando ambas son F Vw V= F Vw F=V Fw V =V Fw F =F

Principio de la conmutatividad: p w q = q w p Principio de la asociatividad: (p w q) w r = p w (q w r)

Falsedad Conjunta Principio: es V solo en el caso que sus 2 clausulas sean F V V=F

V F=F F V=F F F=V Definicin:

Lgica Simbolica pgina 1

Definicin: p q = -p -q

Lgica Simbolica pgina 2