matemáticas computacionales lógica simbólica. proposición lógica o simplemente proposición:...
Post on 02-Feb-2016
242 Views
Preview:
TRANSCRIPT
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
top related