Conectivos logicos

Los conectivos lógicos nos permiten definir operaciones con proposiciones.

Son símbolos que enlazan dos o más proposiciones simples para formar una proposición compuesta.

LA NEGACIÓN (~)

Sea p una proposición. La negación de p es la proposición ~p que se lee “no p”, “no es el caso que p” y cuyo valor lógico está dado por la siguiente tabla de verdad.

LA CONJUNCIÓN (⋀)

LA DISYUNCIÓN (V)

La disyunción de p y q es la proposición p v q, que se lee “p o q”, y cuyo valor lógico está dado por la siguiente tabla de verdad:

EL CONDICIONAL (→)

LA DISYUNCIÓN EXCLUSIVA(⊻)


El condicional con antecedente p y consecuente q es la proposición p → q, que se lee “si p, entonces q ”, y cuyo valor lógico está dado por la siguiente tabla de verdad

EL BICONDICIONAL(↔)

  • Se llama Bicondicional de p y q a la proposición p ↔ q, que se lee “p si y solo si q”, o “p es condición necesaria y suficiente para que q” y cuyo valor lógico está dado por la siguiente tabla de verdad:*

La disyunción exclusiva de p y q es la proposición p ⊻ q, que se lee “o p o q ”, y cuyo valor lógico está dado por la siguiente tabla de verdad:

descarga (1)

descarga

click to edit

descarga (5)

descarga

descarga (2) :

descarga (3)