1. Qu frmula es equivalente a ?

Considera lo siguiente: ( ) y

a) b) c) d) e)

2. Si una y slo una de las siguientes frmulas es verdadera, cul es?
a) ( ( )) ( ( )) b) ( ( ( ))) ( ) c) ( ( ))
d) ( ) ( ( )) e) ( (( ) ))
3. Si ( ), qu no puede ser falso?
a) b) c) ( ) d) ( ) e) ( )
4. Qu afirmacin es verdadera de las frmulas siguientes?
i) ((&) ) (( ) )) ii) (( ) ( ))&
a) i) implica lgicamente a ii) b) i) es equivalente a ii) c) ii) implica lgicamente a i)
d) ii) implica lgicamente a cualquier frmula e) Existen ms interpretaciones que hacen verdadera a i) que a ii)
5. Qu premisa hay que agregar al siguiente argumento para que contine siendo vlido o invlido, segn sea el caso?
1. ( )
2.
3. ( )& ( & ( & ))
a) nicamente (ST) M b) nicamente &( T) c) nicamente S(M&T)
d) nicamente a) y c) e) Cualquiera de las anteriores
6. Qu frmula, al ser agregada a la conclusin, ocasiona que el siguiente argumento contine siendo vlido o invlido,
segn sea el caso?
1. ( &)
2. ( &)&( )
a) Slo JP b) Slo JP c) Slo LP d) las opciones b) y c) e) Cualquiera de las anteriores
7. Qu afirmacin es verdadera de las siguientes frmulas?
i) ( &) ii) (( )& ) iii) (( )&)
a) Todas tienen el mismo nmero de interpretaciones que las hace verdaderas
b) iii) es verdadera en menos interpretaciones que i), pero en ms que ii)
c) i) es verdadera en ms interpretaciones que ii) y iii)
d) i es verdadera en ms interpretaciones que iii), pero en menos que ii)
e) ii) y iii) son verdaderas en ms interpretaciones que i)
8. Qu se sigue del siguiente conjunto de frmulas?
{( ) (& ), (( &( ))& ), ( ) ( ), ( ) ( )}
a) ( )&( ) b) (&)&( ) c) ( ) ( ) d) ( )&( )
e) ( )&( & )
9. El Fari estaba explicando el operador binario pija (.l.), pero como le gusta confundir a la banda slo escribi
el primer y tercer rengln de la tabla de verdad. Cuando los alumnos preguntaron por el par de valores
faltantes, Fari respondi: los valores restantes hacen verdadero a un bicondicional. Asumiendo que la
siguiente es la tabla de verdad que copiaron los alumnos y que Fari no dice mentiras, qu se sigue del
siguiente conjunto de frmulas? { , ( ) , ( ) , , .l.Q}
.l.
V V V
V F ?
F V F
F F ?
a) ( (&)) ((( )&( &)) ) b) ( )&( ( )) c) F.l.R
d) (S.l.T) ( ) e) Q.l.T