Download logica_simbolica1 PDF

Titlelogica_simbolica1
TagsProposition First Order Logic Logic Logical Consequence If And Only If
File Size149.0 KB
Total Pages18
Table of Contents
                            Lógica Simbólica
                        
Document Text Contents
Page 1

mailto:[email protected]
mailto:[email protected]
mailto:[email protected]

Page 9

r⊻(p→q)
p q r (

p→q
)

r⊻(p→
q)

0 0 0 1 1
0 0 1 1 0
0 1 0 1 1
0 1 1 1 0
1 0 0 0 0
1 0 1 0 1
1 1 0 1 1
1 1 1 1 0

Conviene primero realizar la secuencia de los valores de verdad en los
tres términos, luego la expresión dentro del paréntesis –de manera
correcta- y finalmente la evaluación de r y la disyunción excluyente con
el resultado previo del paréntesis (p→q)

En este caso tenemos que además de 9 filas (incluyendo el encabezado
de las expresiones) debemos considerar cinco columnas, tres para las
proposiciones primitivas y dos, una para el paréntesis (p→q) y la tercera
con la evaluación completa r⊻(p→q), quedando de esta manera
desplegada la tabla de verdad

Ejemplos de Tablas de verdad

p q (p∧q
)

¬(p∧
q)

(p∨q
)

¬(p∨
q)

0 0 0 1 0 1
0 1 0 1 1 0
1 0 0 1 1 0
1 1 1 0 1 0

Extraídas del Seminario 2 pagina 3 ejercicio 2a y 2b: ¬(p∧q) y ¬(p∨q)

2g= [(p∨q)∧r]→[p∧(¬q)]

Descompongamos la formulación en pasos de evaluación:

Edwin M. Aguiar | página 9 | Apuntes de Lógica Simbólica

Similer Documents