Ejercicios Logica Proposicional
This document was uploaded by user and they confirmed that they have the permission to share it. If you are author or own the copyright of this book, please report to us by using this DMCA report form. Report DMCA
Overview
Download & View Ejercicios Logica Proposicional as PDF for free.
More details
- Words: 188
- Pages: 1
EJEMPLOS DE LÓGICA PROPOSICIONAL Andrés es padre de Bernardo y éste es padre de Cecilia. La relación “<” se define como “descendiente de” Proposiciones: p:
Andrés < Bernardo
q:
Bernardo < Andrés
r:
Cecilia < Bernardo
s:
Cecilia < Andrés
La proposición:
es:
porque:
p
F
por definición de “<”
q
V
por definición de “<”
r
V
por definición de “<”
s
V
por definición de “<”
p’
V
p es F
q’
F
q es V
p ∧ q
F
p es F
p’ ∧ q
V
p ’ es V y q es V
p ∨ q
V
q es V
p ∨ q’
F
p es F y q ’ es F
r → s
V
s es V
s → r
V
r es V
r → p
F
r es V y p es F
q’ → s
V
q ’ es F
s ↔ r
V
s es V y r es V
p’ ↔ r
V
p ’ es V y r es V
p ↔ s
F
p es F y s es V
Autor: NELSON LILLO TERÁN http://www.eneayudas.cl
Andrés < Bernardo
q:
Bernardo < Andrés
r:
Cecilia < Bernardo
s:
Cecilia < Andrés
La proposición:
es:
porque:
p
F
por definición de “<”
q
V
por definición de “<”
r
V
por definición de “<”
s
V
por definición de “<”
p’
V
p es F
q’
F
q es V
p ∧ q
F
p es F
p’ ∧ q
V
p ’ es V y q es V
p ∨ q
V
q es V
p ∨ q’
F
p es F y q ’ es F
r → s
V
s es V
s → r
V
r es V
r → p
F
r es V y p es F
q’ → s
V
q ’ es F
s ↔ r
V
s es V y r es V
p’ ↔ r
V
p ’ es V y r es V
p ↔ s
F
p es F y s es V
Autor: NELSON LILLO TERÁN http://www.eneayudas.cl
Related Documents
Ejercicios Logica Proposicional
June 2020 7
Logica Proposicional
July 2020 6
Logica Proposicional
June 2020 5
Forma Normal Logica Proposicional
May 2020 11
1 Solucion Logica Proposicional
July 2020 12