Академический Документы
Профессиональный Документы
Культура Документы
Todo s es p ningún s es p
Algún s es p algún s no es p
EJEMPLOS:
1 Si la siguiente proposición es falsa encontrar el valor de verdad de cada una de las
proposiciones (p ꓥ ~q ) (r ~ s)
( p ꓥ ~ q ) ( r ~s )
F porque la proposición es falsa
Para que sea F V F
Para que ꓥ sea V V V V F para que sea F
Entonces: p es V; q es F (~q); r es V; s es V (~ s es F)
EJEMPLOS Formalizar
Es falso que si usted ve un gato entonces tendrá mala suerte
Proposiciones.-
Usted ve un gato p
Usted tendrá mala suerte q
Formalizar
Es falso que si Usted ve un gato entonces tendrá mala suerte
~ ( P q )
~ ( P q )//
EJEMPLO Formalizar
Eres ingeniero o matemático, pero no eres matemático. Por tanto eres ingeniero
Proposiciones.
Eres ingeniero P
Eres matemático q
Formalizar
Eres ingeniero o matemático, pero no eres matemático. Por tanto eres ingeniero
P V q ꓥ ~ q P
[ (P V q) ꓥ ~ q] P
[ ( P V q ) ꓥ ~ q ] P//
EJEMPLO
Si en marte no hay agua entonces no hay vida; en consecuencia no hay marcianos ni platillos voladores.
Proposiciones.
En marte hay agua P
En marte hay vida q
Hay marcianos r
Hay platillos voladores s
Formalizar
Si en marte no hay agua entonces no hay vida; en consecuencia no hay marcianos ni platillos
voladores
~ P ~ q ~ r ꓥ ~ s
(~ P ~ q) (~ r ꓥ ~ s)
( ~ P ~ q ) ( ~ r ꓥ ~ s )//
EJEMPLO simplificar
~[ ~ (~ p V q ) p] V q
~[ ~ ~ (~ p V q ) V p] V q CONDICIONAL
~[ (~ p V q ) V p] V q NEG DE UNA NEG
~[ ~ p V q V p] V q ASOCIAT
~[ (~ p V p) V q] V q CONMUTA
~[ V v q] v q TERC EXCLU
~[ V] v q DISYUNCION
Fvq DISYUNCION
q