Vous êtes sur la page 1sur 6

PRÁCTICA DE LÓGICA

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)

1.2. Tablas de verdad


Con los siguientes ejercicios, se trata de lograr que el lector evalúe el valor de verdad de las propo-
siciones; tanto simples como compuestas, utilizando para ello las tablas de verdad correspondientes
a los diferentes conectivos lógicos.

a. Verificar si los siguientes enunciados son tautologías, contingencias o falacias.


a) *,( ) ( )- ( )+ ( )

b) , ( )- ,( ) -

c) {*,( ) - ( ) ( ) ( )+ ( )}

d) ,( ) ( )- ( )
e) *( ) , ( )-+ ( )

f) , ( ) - , ( )-

g) ,( ) ( )- ,( ) ( )-

b. Determinar el valor de verdad de cada proposición, utilizando el la información dada.

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) , ( ) ( )- , ( ) ( )-

1.3. Álgebra de proposiciones


En esta sección, el objetivo es lograr que el lector se familiarice y utilice las diferentes leyes del álge-
bra de proposiciones y. si es necesario, algunas equivalencias lógicas adicionales.

a. En cada caso, obtener una proposición equivalente más simple.


a) [( ) ( )] ,( ) ( )-
b) ( ) ,( ) ( )-

c) [( ) ( )] ( )

d) [( ) ( )] ,( ) ( )-

e) [( ) ( )] ( )

f) [( ) ( )] ( )

g) , ( )- ( ) ( + )

h) *,( ) ( )- ,( ) ( )-+ ( )

i) *,( ) ( )- , ( )-+ ( )

j) *, ( )- , ( )-+

k) *,( ) ( )- + * ,( ) ( )-+

l) [( ) ( )] ,( ) ( )-

m) { [( ) ( )] ,( ) ( )-}

1.4. Razonamiento deductivo


En la presente sección, se trata de lograr que el lector conozca las técnicas de demostraciones de ar-
gumentaciones, básicas.

a. Dar una demostración formal de validez para siguientes los razonamientos


a.
b. ( )
( ) ( )
( )
( )

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.

Representar simbólicamente a las siguientes proposiciones.

a)

b)

c)

d)

e)

f)

g)

h)
Dar una demostración formal de validez.

a. b. ( )
( )
( )

c. ( ) ( ) d. ( )
( ) ( ) ( ) ( )
( ) ( )
( )

e. Para cada , si el cuadrado de es nueve y mayor que dos, entonces es tres.


Cada sería menor que cuatro si cada vez que es mayor que dos es igual a tres.
El cuadrado de uno mas dos es nueve.
Por lo tanto, uno mas dos es menor que cuatro.

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.

g. La hermana de la madre de cada muchacho es su tía. Juan es un muchacho y María es la


hermana de Elena. Todos los tíos de Juan le mandan regalo de cumpleaños.
Por lo tanto, si Elena es la madre de Juan, María le manda regalo de cumpleaños.

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.

Vous aimerez peut-être aussi