1.

- Dados a, b y c nú meros reales, representar de forma simbó lica los enunciados siguientes
tomando como proposiciones:

P :a<b Q :b< c R :a=c

a) a< b ≥ c

b) ( a ≥ b y b<c ) o a ≠ c

c) No es cierto que (a< b y a=c)

d) Sia=6 , b=−1 y c=2 , indicar si las fó rmulas proposicionales de los incisos anteriores
resultan Verdaderas o Falsas.

2.- Analizar el valor de verdad de la proposició n y escribir, en forma simbó lica, su

negació n. Asumir que las variables toman valores en el conjunto de los números
enteros.

([ 12 )( x+ 23 )]=0 ¿
a) ( ∃ x ) : x −

b) ( ∀ x ) :[x 2 > x ]

3.- Definir los cuantificadores intervinientes y escribir en lenguaje formal las siguientes
afirmaciones.
a) Para cada número natural, existe otro número natural que se obtiene sumándole 1 al
primero.
b) Existe solución racional para la ecuación x + √ 5=0 .
3.1 Indicar si las afirmaciones anteriores son verdaderas o no, en caso de que no lo sean
mostrar un contraejemplo (escrito en lenguaje formal).

4.- Definir las proposiciones y cuantificadores intervinientes en cada inciso y escribir en

lenguaje ló gico las siguientes afirmaciones. Luego escribir su negació n. (puse varios
incisos, si te gusta elegimos algunos)

a) Llueve y no hace frío, hay humedad.

b) No es cierto que no estudié para el parcialito.

c) Todos los ríos de Argentina son navegables.

d) Hay planetas del sistema solar que no pueden ser habitados.

e) Ninguna usina nuclear es completamente segura.

f) En algunas piletas los niveles de cloro son perjudiciales para la salud.