TC2 B Learning Fase 2
-
Upload
hugo-hernando-diaz-raga -
Category
Documents
-
view
215 -
download
0
description
Transcript of TC2 B Learning Fase 2
Fase 2) A continuacin, analiza la validez de la conclusin: Respetamos la ley
Premisa 1: O no nos gusta tener calidad de vida o no nos gusta vivirsolosPremisa 2: Nos gusta tener calidad de vidaPremisa 3: Si no nos gusta vivir solos,. nos gusta vivir en comunidadPremisa 4: Si nos gusta vivir en comunidad, entonces respetamos la ley
2.1 Declaracin de proposiciones simples:
P= nos gusta tener calidad de vidaq= Nos gusta vivir solosr= nos gusta vivir en comunidads= respetamos la ley
2.2 Premisas en lenguaje simblico:
Premisa 1: Premisa 2: pPremisa 3: rPremisa 4: rs
2.3 Conclusin en lenguaje simblico:
p] [(r) (rs)]
2.4 Demostraciones:2.4.1: Demostracin a partir de las tablas de verdad forma 1 :
Proposiciones SimplePre 1Pre 2Pre 3Pre 4Conclusin
pqrsprrss
VVVVFFFVVVV
VVVFFFFVVFF
VVFVFFFVVVV
VVFFFFFVVVF
VFVVFVVVVVV
VFVFFVVVVFF
VFFVFVVVFVV
VFFFFVVVFVF
FVVVVFVFVVV
FVVFVFVFVFF
FVFVVFVFVVV
FVFFVFVFVVF
FFVVVVVFVVV
FFVFVVVFVFF
FFFVVVVFFVV
FFFFVVVFFVF
2 1
2.4.2: Demostracin a partir de las tablas de verdad forma 2:
Pre 1Pre 2Pre 3Pre 4p][(r) (rs)]p] [(r) (rs)]p] [(r) (rs)]
prrsp][(r) (rs)]p] [(r) (rs)]S
p] [(r) (rs)]
FVVVFVFVV
FVVFFFFFV
FVVVFVFVV
FVVVFVFFV
VVVVVVVVV
VVVFVFFFV
VVFVVFFVV
VVFVVFFFV
VFVVFVFVV
VFVFFFFFV
VFVVFVFVV
VFVVFVFFV
VFVVFVFVV
VFVFFFFFV
VFFVFFFVV
VFFVFFFFV
Es tautolgico, demostrando que la conjuncin de las premisas implican la conclusin y por lo tanto el razonamiento es valido.2.4.3. Verificacin con simulador
http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/
Truth Tablepqrs
[(pVq) p][(qr)(rs)] s
TTTT
TTTF
TTFT
TTFF
TFTT
TFTF
TFFT
TFFF
FTTT
FTTF
FTFT
FTFF
FFTT
FFTF
FFFT
FFFF
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
expression is atautology