Universidad Francisco Gavidia

Facultad de Ingeniera y Sistemas

Lgica Proposicional

TABLA DE CONECTIVOS LGICOS

CONECTIVO
Conjuncin

FUNCIN
Juntar,
Agregar,
Adherir,
(enunciados /no trminos )

Disyuncin
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 Negacin

Signos
1. Agrupacin
2.

Puntuacin

SMBOLO

&

LECTURA
Y, pero, mas, tambin,
mientras, un, sin embargo
Tanto.como
Aunque, adems
A menos que, o,

La o en medio de las
proporciones simples.

Presenta una sola opcin

La o antes de la primera
proposicin y otra o en medio de
las proporciones.
Presenta una reilacin hipottica
entre 2 o mas eventos que tengan
una secuencia lgica.
Es necesario que ocurra A
(antecedente) para que suceda
B (consecuencia)
Implica una relacin de igualdad o
de equivalencia

Niega una preposicin, cambia o

invierte el valor de verdad de una
proposicin.

Determinan orden y prioridad de

los trminos

(){}[]
, . ;

Nini..
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 expresin siguiente con
signos de agrupacin.

TABLAS DE VERDAD
Proposiciones

Condicional

Bicondicional

Negacin

pvq

Pq

pq

Conjuncin

Disyuncin
Inclusiva

Disyuncin
Exclusiva

p q

pvq

Antecedente

Consecuente

~P