Documentos de Académico
Documentos de Profesional
Documentos de Cultura
6) b p => -p
vfFV
fvVF
-P
FV
VF
8) b) molecular
Si bien existen numerosas formas de clasificar las proposiciones, la lgica
proposicional se centra en la distincin entre proposiciones atmicas y
proposiciones moleculares. Las moleculares, en una primera categorizacin,
son las que conectan dos o ms proposiciones a travs de diferentes
conectivas lgicas. Llevan una variable (p) ms una conectiva lgica o
conjuncin, ms otra variable (q) para la otra proposicin. La otra alternativa
de proposicin molecular es la proposicin atmica alterada por el conector
mondico de la negacion, que se representa como en el ejemplo.
9) b) Una contradiccin
Toda tautologa negada se convierte en contradiccin y toda contradiccin
negada se convierte en tautologa. En la contradiccin para todos sus casos
posible su valor de verdad es F. Esto indica que cualquier proposicin con dicha
estructura lgica es falsa en cualquier supuesto.
11) d) p ^ -q
Enunciado - (pq)
p ^ -q
vFfv
fFfv
fVvf
fFvf
12) a) - p ^ -q
Las equivalencias que permiten transformar una conjuncin en disyuncin y
viceversa son las conocidas como leyes de Morgan. Permiten el cambio
-(p v q)
Fvvv
Ffvv
Fvvf
Vfff
- p ^ -q
FvFfv
VfFfv
FvFvf
VfVvf
15) B ) Una tabla de verdad que prescribe sus condiciones de verdad (justiticar)
La forma en que el valor de verdad de una oracin compuesta, depende del
valor de verdad de las oraciones simples o atmicas que la componen y del
conectivo empleado. El significado de cada conectivo est determinado por una
tabla de verdad correspondiente, que prescribe sus condiciones de verdad
consultando las correspondientes tablas de verdad para cada uno de estos
conectivos en Lgica, proposicin y norma
VFV
FVVFFV
VVF
VFFFVF
VFV
FVFVVF
VVF
Correccin
[-p v q ) . - q] p
FVVVFF
VVV
FFVVFF
VVF
FVVFFV
FVV
VFFFVV
FFF
vvv
fvvvv
vff
vfffv
ffv
fvfvv
fff
vvvff
V vvv
fvvff
vff
vffff
fff
fvfff
fff
vvv
fvvv
fvv
vvff
vvf
vffv
fff
vf f f