FACULTAD DE INGENIERIA Y CIENCIAS BASICAS

LOGICA Y PENSAMIENTO MATEMATICO TALLER DE LGICA

DOCENTE: IDALY MONTOYA A.

ALUMNO: __________________________________________ PROGRAMA: ____________________

GRUPO: ________ JORNADA: _______ FECHA: ___________ CALIFICACION: __________________

Recuerde que:
1. Una proposicin es un enunciado del que se puede decir que es verdadero o falso.
2. El valor de verdad de una proposicin es la veracidad o falsedad de est.
3. Una proposicin compuesta, son dos proposiciones unidas mediante unos smbolos denominados conectivos lgicos.
4. La siguiente tabla muestra los diferentes conectivos de la lgica proposicional con su respectivo nombre, smbolo, notacin y
lectura.

NOMBRE SMBOLO NOTACN LECTURA

CONJUNCIN pq p y q
DISYUNCIN pq p o q
DISYUNCIN EXCLUSIVA pq p o q , pero no ambas
IMPLICACIN pq p implica q

CONDICIONAL Si p entonces q
DOBLE IMPLICACIN
EQUIVALENCIA pq p si y slo si q
p es equivalente a q
BICONDICIONAL
NEGACIN p No p; es falso que p

La siguiente tabla muestra los valores de verdad de las proposiciones compuestas para cada uno de los diferentes conectivos.

p q pq pq pq pq pq p
V V V V F V V F
V F F V V F F F
F V F V V V F V
F F F F F V V V

5. Si los valores de verdad obtenidos en una tabla son todos verdaderos se dice que la proposicin compuesta es una tautologa.
En el caso en que los valores de verdad sean todos falsos se le denomina falacia o contradiccin.
6. Un razonamiento lgico es un razonamiento en el cual a partir de una serie de enunciados llamados premisas, se obtiene un
resultado llamado conclusin.

Ejercicios

1. Cules de los siguientes razonamientos son validos y cules no:

a) Si un nmero es impar, entonces no es divisible por 2.

13 es impar
13 no es divisible por 2
b) Si la ltima cifra de un nmero natural termina en 0 en 5, el nmero es divisible por 5.
40 es divisible por 5
40 termina en Cero
c) Si un nmero es mltiplo de 10 entonces es mltiplo de 5
25 es mltiplo de 5
25 es mltiplo de 10
 FACULTAD DE INGENIERIA Y CIENCIAS BASICAS
LOGICA Y PENSAMIENTO MATEMATICO TALLER DE LGICA
DOCENTE: IDALY MONTOYA A.

2. Cules de los siguientes enunciados son proposiciones?

a) 2 es un nmero par f) 21 es un nmero primo

b) Qu hora es? g) 2 es un nmero racional
c) El triangulo es una figura plana. h) Los productos notables y el triangulo de pascal
d) El conjunto vaco i) X 2 - y 2
e) 3/2 = 1

3. Cules de las siguientes proposiciones son simples y cules compuestas?

a) 15 es impar y no primo
b) Si 12 es racional entonces 12 + 1 es racional
c) 10 es mltiplo de 5
d) El cuadrado de un nmero real siempre es no negativo

4. Determine la negacin de las siguientes proposiciones:

a) 9 3 es impar
b) 19 es mltiplo de 19
c) 4 2 + 4 + 16 = (6)(6)
d) El conjunto vacio es aquel que no tiene elementos

5. Indique si la segunda proposicin es negacin de la primera:

PRIMERA SEGUNDA
2
a) 4 < 4 4 > 42
1 3 3 1
b) 1 + = +1
2 2 2 2
5 5
c) es un nmero racional no es un nmero racional
2 2
d) 14 es mltiplo de 7 14 es divisor de 7

6. Cules de las siguientes proposiciones son falsas y cules verdaderas:

a) 4 < 5 y 5 < 4 ( )
b) 8 es un entero negativo y natural ( )
c) 3 es divisor de 13 y 13 es mltiplo de 3 ( )
d) 3 2 = 6 + 3 y 4 2 = 8 + 4 + 4 ( )

7. Dadas las siguientes proposiciones :

p : 2 es par r : 6 es mltiplo de 3
q : 4 es primo s : 10 es divisible por 2

Escriba el significado de c/u de las siguientes proposiciones (si son V F)

a) p ^ q ( ) d) q ^ r ( )
b) q ^ p ( ) e) ~q ^ ~s ( )
c) s ^ r ( ) f) ~s ^ q ( )
 FACULTAD DE INGENIERIA Y CIENCIAS BASICAS
LOGICA Y PENSAMIENTO MATEMATICO TALLER DE LGICA
DOCENTE: IDALY MONTOYA A.

8. Cules de las siguientes proposiciones son verdaderas y cules falsas:

a) es un nmero racional entero ( )

b) 2 2 = -4 3 2 = -9 ( )
c) 2 es primo es par ( )
d) 2 es divisible por 2 es impar ( )
e) Los parques sirven para divertirse o para descansar ( )
f) 2 es entero o natural ( )

9. Identifique cules de las siguientes proposiciones se refieren a una disyuncin inclusiva y cules a
disyuncin exclusiva.

a) 5 es impar es par DI___ DE ___

b) 19 es positivo o negativo DI___ DE ___
c) Est lloviendo est haciendo frio DI___ DE ___
d) 12 es divisible por 2 por 3 DI___ DE ___

10. Encuentre el valor de verdad de las siguientes proposiciones condicionales:

a) Si es positivo entonces > -1 ( )

b) Si 5 es primo entonces 10 es primo ( )
c) Si (-5) 3 es positivo entonces (-5) 2 es positivo ( )
d) Si 2 3 = 6 entonces 3 2 = 6 ( )

11. Hallar el valor de verdad de las siguientes proposiciones:

a) 100 es divisible por 5 si y solo si termina en cero en cinco ( )

b) 9 es impar si y solo si es primo ( )
c) 7 2 - 5 2 = 2 2 si y solo si 7 2 - 5 2 = 24 ( )
d) La suma de dos nmeros impares es par si y solo si la suma de dos pares es impar ( )

12. Construya la tabla de verdad de:

a) ( p q ) ( p q )
b) ~p ( q p )
c) ( p q ) V ~ ( p ~ q )
d) [ ( p q ) p ] q

13. Determine a que corresponde, (falacia, tautologa o indeterminacin) cada una de las siguientes
proposiciones:
a) ( p q ) ~ ( p V q )
b) [( p q ) p ] q
c) [ ( p q ) s ] [ p ( q s ) ]