operaciones logicas

Combinando proposiciones simples obtenemos proposiciones compuestas mediante operaciones lógicas.

Las principales operaciones lógicas son: conjunción, disyunción, negación, condicional y Bicondicional.

A cada una de estas operaciones lógicas le corresponde una tabla de verdad.


p q
p Ù q

V V

V F

F V

F F
V

F

F

F


Conjunción. Dos proposiciones simples p y q relacionadas por el conectivo lógico "y" conforman la proposición compuesta llamada conjunción, la cual se simboliza así: p Ù q.

p q
p Ú q

V V

V F

F V

F F
V

V

V

F


Disyunción. Dos proposiciones simples p y q relacionadas por el conectivo lógico "O" conforman la proposición compuesta llamada disyunción, la cual se simboliza así: p Ú q.
~ p se lee: no p

o también: no es cierto que p


p
~ p

V

F
F

V


Negación. Dada una proposición simple p, esta puede ser negada y convertirse en otra proposición llamada negación de p, la cual se simboliza así:

p q
p Þ q

V V

V F

F V

F F
V

F

V

V


Condicional o Implicativa. Dos proposiciones simples p y q relacionadas por el conectivo lógico "entonces" conforman la proposición compuesta llamada condicional o implicativa, la cual se simboliza así: p Þ q:
Bicondicional. Dos proposiciones simples p y q relacionadas por el conectivo lógico "si y sólo si" conforman la proposición compuesta llamada conjunción, la cual se simboliza así: p « q.

p q
p Û q

V V

V F

F V

F F
V

F

F

V