Академический Документы
Профессиональный Документы
Культура Документы
e) Mr 0 lo es y no lo es Marshall.
8) Tenemos tres conjuntos de frmulas: , y ; sabemos que es una consistencia y una de las dos y
es falsa y la otra verdadera, pero no sabemos cul es cual. Cul de las siguientes afirmaciones es con
verdad una contradiccin?
a) ( ( V ))
d) ( ) ()
b)
e) (( ) ) ( )
c)
9) Tenemos una nueva conectiva pija: y sabemos que pija es equivalente a un condicional negado:
p q (pq), cul de las siguientes frmulas es por necesidad una contradiccin?
a) (p p)
d) p p
b) p p
e) ( p p)
c) p p
10) Tenemos un conjunto de premisas tal que pr, s V t, ( p V s), rk Cul de las siguientes
premisas se sigue de stas?
a) p r
d) t V r
b) s r
e) rt
c) (k V s)