Tabla de Verdad y Conectivos Logicos

Universidad Francisco Gavidia Facultad de Ingeniería y Sistemas Lógica Proposicional

TABLA DE CONECTIVOS LÓGICOS CONECTIVO Conjunción

FUNCIÓN Juntar, Agregar, Adherir, (enunciados /no términos )

Disyunción i) Inclusiva El uno o el otro o ambos

Presentar alternativas u opciones

a)

b)

ii) Exclusiva El uno o el otro pero no ambos

c)

Condicional

d)

Bicondicional



La Negación



Signos 1. Agrupación 2.

Puntuación

SÍMBOLO

• ^

&

LECTURA Y, pero, mas, también, mientras, un, sin embargo Tanto…….como…… Aunque, además A menos que, o,

v

La “o” en medio de las proporciones simples.

v

Presenta una sola opción

La “o” antes de la primera proposición y otra “o” en medio de las proporciones. Presenta una reilación hipotética entre 2 o mas eventos que tengan una secuencia lógica. Es necesario que ocurra “A” (antecedente) para que suceda “B” (consecuencia) Implica una relación de igualdad o de equivalencia

   ↔  

Niega una preposición, cambia o invierte el valor de verdad de una proposición.

Determinan orden y prioridad de los términos

~

(){}[] , . ;

Ni………ni……….. O bien…… o……. O bien……..a menos que……. O el uno ó el otro pero no ambos Si ... entonces … Se sigue que, Implica que, Contiene a

Si y solo si Equivalente Es falso que No es el caso que No es cierto que No ocurre que No sucede que Cuando existe una “coma”; “punto”, y “punto y coma”, aislar la expresión siguiente con signos de agrupación.

TABLAS DE VERDAD Proposiciones

→

↔

~

Condicional

Bicondicional

Negación

pvq

P→q

p↔q

v

v

Conjunción

Disyunción Inclusiva

Disyunción Exclusiva

p q

pvq



p

q

Antecedente

Consecuente

V

V

V

V

F

V

V

V

F

F

V

V

F

F

F

V

F

V

V

V

F

F

F

F

F

F

V

V

P

~P

V

F

F

V