Académique Documents
Professionnel Documents
Culture Documents
1.1. Proposiciones
El propósito de los ejercicios de esta sección, es lograr que el lector esté en condiciones de identifi-
car y representar de manera simbólica a las proposiciones, a las proposiciones compuestas y los
respectivos conectivos lógicos.
a. ¿Cuáles de las siguientes frases u oraciones, pueden ser calificadas como proposiciones?
a)
b)
c)
d)
e)
f) ( ) ( )
g) ( ) ( )
h)
i)
j)
k)
l)
b) , ( )- ,( ) -
c) {*,( ) - ( ) ( ) ( )+ ( )}
d) ,( ) ( )- ( )
e) *( ) , ( )-+ ( )
f) , ( ) - , ( )-
g) ,( ) ( )- ,( ) ( )-
Información Proposición
a) ( ) [( ) ( )]
b) ,( ) - [( ) ]
c) ( ) ,( ) ( ) -
d) ( ) ( )
e) [( ) ] ,( ) -
f) ,( ) ( )- ( )
g) ,( ) ( )- , ( )-
c. Determinar el valor de verdad de las proposiciones simples, si las siguientes son falsas.
a) {[( ) ( )] ( )} ( )
b) *,( ) ( )- ( )+ ( )
c) {[( ) ( )] ( )} ( )
d) *,( ) ( )- ( )+ ( )
d. Determinar el valor de verdad de las proposiciones simples, si las siguientes son verdaderas.
a) [( ( )) ] ( )
b) *,( ) ( )- ( )+ ( )
c) [( ) ( )] ,( ) ( )-
d) , ( ) ( )- , ( ) ( )-
c) [( ) ( )] ( )
d) [( ) ( )] ,( ) ( )-
e) [( ) ( )] ( )
f) [( ) ( )] ( )
g) , ( )- ( ) ( + )
h) *,( ) ( )- ,( ) ( )-+ ( )
i) *,( ) ( )- , ( )-+ ( )
j) *, ( )- , ( )-+
k) *,( ) ( )- + * ,( ) ( )-+
l) [( ) ( )] ,( ) ( )-
m) { [( ) ( )] ,( ) ( )-}
c. d.
( )
( )
e. ( ) ( ) f.
( ) ( )
( ) ( )
g. h.
( )
( )
i. ( ) j. ( ) ( )
( ) ( ) ( ) ( )
( ) ( )
( )
k. l.
( )
b. Utilice las reglas de inferencia para obtener una conclusión, a partir de las proposiciones dadas.
a.
b.
( )
c. d. ( ) ( )
( )
e. f.
( ) ( )
1.5. En cada caso, simbolizar y dar una demostración formal de validez, o bien mostrar que la conclusión que se
obtiene no se deduce lógicamente.
a.
Si el palo empieza a golpear al perro, entonces el perro empieza a morder al cerdo. Si el perro empie-
za a morder al cerdo, entonces el cerdo saltará sobre el portillo. El palo empieza a golpear al perro.
Por lo tanto, el cerdo saltará sobre el portillo.
b. Si el freno falla o el camino está helado, entonces el coche no parará. Si el coche se revisó, entonces
no fallarán los frenos. Pro, el coche no se revisó.
Por lo tanto, el coche no parará.
c. Si se ha construido una presa para suministrar potencia hidroeléctrica, entonces la industria fabril
aumentará considerablemente. Si no se ha construido una presa para suministrar potencia hidroeléc-
trica, entonces la economía se ha de basar totalmente en productos agrícolas.
Por lo tanto, o la industria fabril aumentará considerablemente o la economía se ha de basar total-
mente en productos agrícolas.
d. Un gas denso (clorhídrico) se introduce en un frasco y sobre él se coloca un frasco que contiene un
gas de menor densidad (amoniaco). Si los gases se mezclan por difusión, entonces el clorhídrico ha
subido y el amoniaco ha descendido. Si el clorhídrico ha subido y el amoniaco ha descendido, enton-
ces el movimiento de los gases es opuesto al originado por la gravedad. Si el movimiento de los ga-
ses es opuesto al originado por la gravedad, entonces el movimiento ha de ser debido al movimiento
molecular.
Por lo tanto, el movimiento ha de ser debido al movimiento molecular.
e. Si es diciembre, entonces el mes anterior fue noviembre. Si el mes anterior fue noviembre, entonces
hace seis meses fue junio. Si hace seis meses fue junio, entonces hace once meses fue enero. Si el mes
que viene será enero, entonces éste es diciembre. El mes pasado fue noviembres.
Por lo tanto, éste es diciembre.
f. Si el contrato es válido, entonces Juan no perderá el pleito. Si Juan pierde el pleito, entonces tendrá
que pagar costas. Si ha de pagar costas, entonces Pedro no recibirá su dinero.
Por lo tanto, o Pedro no recibirá su dinero o el contrato no es válido.
g. Si Vargas cumplió el contrato, las mercancías fueron suministradas en la fecha convenida. Vargas, o
cumplió el contrato o su registro de envío está equivocado. Si su registro de envío está equivocado,
entonces él no ordenó el envío el día siete.
Por lo tanto, Las mercancías no fueron suministradas en la fecha convenida.
1.6. Cuantificadores
En esta sección, se busca que el lector reconozca la presencia de los cuantificadores, la identificación
de las funciones proposicionales y, finalmente, escriba los esquemas proposicionales.
a)
b)
c)
d)
e)
f)
g)
h)
Dar una demostración formal de validez.
a. b. ( )
( )
( )
c. ( ) ( ) d. ( )
( ) ( ) ( ) ( )
( ) ( )
( )
f. Cada que es igual a tres más cinco o es igual a diez más dos, es divisible por cuatro.
Cada es divisible por cuatro o divisible por seis es par.
Por lo tanto, si nueve menos uno es igual a tres más cinco, entonces nueve menos uno es
par.
h. Los coroneles tienen graduación superior a la de los sargentos y los sargentos tienen mayor
graduación que los soldados. Todo aquel que tiene menos graduación que otro, tiene que
recibir órdenes de él. Todo aquel que tiene más graduación que otro que a su vez tiene más
graduación que un tercero, tiene más graduación que el tercero. López es un coronel, Pérez
es un sargento y Gómez es un soldado.
Por tanto, Gómez ha de recibir órdenes de López.