Reglas de infederencia
Páginas: 3 (582 palabras)
Publicado: 9 de mayo de 2013
REGLAS DE INFERENCIA
Tablas de verdad
Definición: la proposición lógica p tiene valor de verdad verdadero denotado
por V o valor de verdad falso denotado por F
Definición: dos proposiciones p yq se dice que son lógicamente si tienen los
mismos valores de verdad y se denota pq.
Operaciones con proposiciones lógicas
Tablas de verdad
NEGACIÓN:
Cambia los valores de las proposiciones.
p¬p
V
F
F
V
CONJUNCIÓN:
Es verdadera cuando las dos proposiciones son verdaderas, en los demás
casos será falsa.
p
q
p^q
V V
V
V F
F
F V
F
F F
FDISYUNCIÓN:
Es falsa cuando las proposiciones son falsas, en los demás casos será
verdadera.
p q
pvq
V V
V
V F
V
F V
V
F F
F
CONDICIONAL:
Es falsa cuando elantecedente es verdadero y el consecuente es falso, en los
demás casos es verdadero.
p q
P => P
V V
V
V F
F
F V
V
F F
V
BICONDICIONAL:
Es verdadera cuando ambas proposicionesson falsa o verdaderas, en los
demás casos será falsa.
p q
pq
V V
V
V F
F
F V
F
F F
V
Proposiciones lógicamente equivalentes
Se puede demostrar a partir de tablasde verdad que las siguientes
proposiciones son lógicamente equivalentes.
LEY DOBLE NEGACIÓN
p ¬ (¬p)
LEY DEL CONDICIONAL
p => q ¬p q
LEY CONMUTATIVA
pΛqqΛp
pVqqVp
LEYES DE MORGAN
(p Λ q) (¬p V ¬q)
(p V q) (¬p Λ ¬q
Reglas de Inferencia
Argumentos válidos
MODUS PONENS
p => q
p
“Si llueve, entonces las calles se mojan”
“Llueve”
q
“Por lo tanto, lascalles se mojan”
(premisa)
(premisa)
(conclusión)
MODUS TOLLENS
p => q
¬q
¬p
“Si llueve, entonces las calles se mojan”
“Las calles no se mojan”
“Por lo tanto, no llueve”CONJUNCION
Conjunción : Si disponemos de dos enunciados afirmados como dos
premisas separadas, mediante la conjunción, podemos unirlos en una sola premisa
utilizando el operador Λ (conjunción).
p...
Tablas de verdad
Definición: la proposición lógica p tiene valor de verdad verdadero denotado
por V o valor de verdad falso denotado por F
Definición: dos proposiciones p yq se dice que son lógicamente si tienen los
mismos valores de verdad y se denota pq.
Operaciones con proposiciones lógicas
Tablas de verdad
NEGACIÓN:
Cambia los valores de las proposiciones.
p¬p
V
F
F
V
CONJUNCIÓN:
Es verdadera cuando las dos proposiciones son verdaderas, en los demás
casos será falsa.
p
q
p^q
V V
V
V F
F
F V
F
F F
FDISYUNCIÓN:
Es falsa cuando las proposiciones son falsas, en los demás casos será
verdadera.
p q
pvq
V V
V
V F
V
F V
V
F F
F
CONDICIONAL:
Es falsa cuando elantecedente es verdadero y el consecuente es falso, en los
demás casos es verdadero.
p q
P => P
V V
V
V F
F
F V
V
F F
V
BICONDICIONAL:
Es verdadera cuando ambas proposicionesson falsa o verdaderas, en los
demás casos será falsa.
p q
pq
V V
V
V F
F
F V
F
F F
V
Proposiciones lógicamente equivalentes
Se puede demostrar a partir de tablasde verdad que las siguientes
proposiciones son lógicamente equivalentes.
LEY DOBLE NEGACIÓN
p ¬ (¬p)
LEY DEL CONDICIONAL
p => q ¬p q
LEY CONMUTATIVA
pΛqqΛp
pVqqVp
LEYES DE MORGAN
(p Λ q) (¬p V ¬q)
(p V q) (¬p Λ ¬q
Reglas de Inferencia
Argumentos válidos
MODUS PONENS
p => q
p
“Si llueve, entonces las calles se mojan”
“Llueve”
q
“Por lo tanto, lascalles se mojan”
(premisa)
(premisa)
(conclusión)
MODUS TOLLENS
p => q
¬q
¬p
“Si llueve, entonces las calles se mojan”
“Las calles no se mojan”
“Por lo tanto, no llueve”CONJUNCION
Conjunción : Si disponemos de dos enunciados afirmados como dos
premisas separadas, mediante la conjunción, podemos unirlos en una sola premisa
utilizando el operador Λ (conjunción).
p...
Leer documento completo
Regístrate para leer el documento completo.