Matemáticas Computacionales

Lógica Simbólica

Proposición Lógica

o simplemente

Proposición:

Enunciado que puede ser verdadero o falso, pero no ambos.

Los conectivos lógicos se utilizan para combinar proposiciones y obtener nuevas proposiciones.

Proposiciones

Simples o Atómicas

Compuestas

Negación

0 1

1 0

P P~

Conjunción

0 0 0

0 1 0

1 0 0

1 1 1

Q QP P

Disyunción

0 0 0

0 1 1

1 0 1

1 1 1

Q QP P

Condicional

0 0 1

0 1 1

1 0 0

1 1 1

Q QPP

Si P entonces Q

P implica Q

P es suficiente para Q

P sólo si Q

Q si P

Q siempre que P

Q es necesario para P

QP

Condicional o ImplicaciónSe lee:

Bicondicional

0 0 1

0 1 F

1 0 F

1 1 1

Q QPP

P si y sólo si QP es necesario y suficiente para Q

QP

Bicondicional o Doble Implicación

Se lee:

Definición: P Q ≡ P Q Q P