Beruflich Dokumente
Kultur Dokumente
Tema
Proposiciones y Tablas de verdad
Tutor
Estudiante
Programa
Psicologia
928
Numero de grupo
Sede
La dorada
Introducción
Ej Hay árboles
algunos números,
Lenguaje formal
(𝑝 ∧ 𝑞 ) ⟹ 𝑟
Table de verdad
2𝑛 𝑑𝑜𝑛𝑑𝑒 𝑛 = 𝑛ú𝑚𝑒𝑟𝑜 𝑑𝑒 𝑝𝑟𝑜𝑝𝑜𝑠𝑖𝑐𝑖𝑜𝑛𝑒𝑠 𝑠𝑖𝑚𝑝𝑙𝑒𝑠
23 = 2 ∗ 2 ∗ 2 = 8
TERCER EJERCICO
A. [(𝑝⟶𝑞)∧(∼𝑝⟶𝑟)]⟶(∼r⟶p)
Estoy concentrado
Perderé el parcial
Lenguaje simbólico
P= Estoy concentrado
R= Perderé el parcial
[(p=>q)˄ (
¬p→r)](¬r→p)
p
r
2˄n pq →q ¬p→r [(p→q˄(˜p→r)] [(p→q)˄(¬r→q)]→(¬r→p
n=#
v v v v f v
=preposiciones 1 v
2˄=3 2 v v f v v v v
2x2x2=8 3 v f v f f f v
4 v f f f v f v
5 f v v v f v v
6 f v f v f f v
7 f f v v f v v
8 f f f v f v v
Simulador
Expresión tautológica
Conclusiones