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:
click to edit
: