Proposiciones

Una proposición es una oracion que afirma o niega algo, y que solo puede ser verdadera o falsa
(aunque puede ser que no lo sepamos).

Ejemplos:

A : “Los murcielagos son aves”

B : “El sol brilla”

C : “No existe vida extraterrestre”

D : “ 5<3 ”

E : “111 es un número primo”

Las proposiciones pueden combinarse de distintas maneras para obtener otras proposiciones:

La negación de una proposición P es la proposición que dice que P es falsa, se le denota por ┐P y
se dice “no P”.

┐A : “Los murciélagos son aves”

┐B : “El sol no brilla”

┐C : “Existe vida extraterrestre”

┐D : “3≤5”

┐E : “111 no es un número primo”

Observar que ┐P es verdadera si P es falsa, y ┐P es falsa si P es verdadera.

La negación de P consiste de todas las alternativas posibles a P. La negación de la negación de P

es P:

┐┐E : “111 sí es un número primo”

La conjunción de dos proposiciones P y Q es la proposición que afirma que ambas son

verdaderas, se le denota por P  Q y se dice “P y Q”.

Ejemplo:

A  B : “Los murciélagos son aves y el sol no brilla”

Observar que P  Q es falsa cuando alguna de las dos es falsa.

Negar que P y Q sean ciertas equivale a afirmar que alguna de las dos es falsa, por ejemplo:

┐(A  B) : “Los murciélagos no son aves o el sol brilla”

La disyunción de dos proposiciones P y Q es la proposición que afirma que al menos una de ellas
es verdadera, se le denota por P  Q y se dice “P o Q”. Por ejemplo:

A  B : “Los murciélagos son aves o el sol no brilla”

Observar que P  Q es un o inclusivo, afirma que alguna es cierta, no afirma que solo una lo sea.
P ∨ Q es falsa sólo cuando las dos son falsas.

Negar que ocurre P o Q equivale a decir que ni ocurre P ni ocurre Q, es decir

┐(P  Q) = ┐P  ┐Q

Ejemplo:

┐(A  B) : “Los murciélagos no son aves y el sol brilla”

La condicional de P a Q es la proposición que afirma que si se cumple P entonces se cumple Q,

se denota por P → Q y se lee “si P entonces Q”

Ejemplos:

A → C : “Si los murciélagos son aves entonces existe vida extraterrestre”

C → A : “Si existe vida extraterrestre entonces los murciélagos son aves”

Observar que P → Q no afirma que P o Q sean verdaderas, únicamente afirma que en caso de
que P sea verdadera entonces Q también lo es. Así que P → Q es falsa solamente si P es
verdadera y Q es falsa. Negar que si ocurre P entonces ocurre Q equivale a afirmar que ocurre P
pero no ocurre Q, es decir,

┐(P → Q) = P  ┐Q

Ejemplos:

┐(A → C) : “Los murciélagos son aves y no existe vida extraterrestre”

┐(C → A) : “Existe vida extraterrestre y los murciélagos no son aves”

┐┐(C → A) : “No existe vida extraterrestre o los murciélagos son aves”

Recordar que la negación de la negación debe ser igual a la proposición original, así que

P → Q = ┐P  Q = ┐Q → ┐P

Por ejemplo, las tres proposiciones siguientes deben significar lo mismo:

A → C : “Si los murciélagos son aves entonces existe vida extraterrestre”

┐A  C : “Los murciélagos no son aves o existe vida extraterrestre”

┐C → ┐A : “Si no existe vida extraterrestre entonces los murciélagos no son aves”

Los conectores lógicos ┐, ,, → pueden combinarse de muchas maneras para obtener
proposiciones mucho mas complicadas. Por ejemplo, la doble condicional es la afirmación que
dice que si P es cierta entonces Q es cierta y que si Q es cierta entonces P es cierta. Se le denota
por P ↔ Q y se lee “P si y solo si Q”. Asi que

P ↔ Q = (P→Q)  (Q→P)

Por Ejemplo

A ↔ B : “Los murciélagos son aves si y solamente si existe vida extraterrestre”

Ejercicios.

1. Escribe las siguientes proposiciones como combinaciones de proposiciones mas simples usando
los conectores lógicos ┐,,,→ .

a. Ire en taxi o en metro y en pesero.

b. Las bicicletas son divertidas pero peligrosas.

c. Si hoy es martes, mañana es miercoles.

d. Esta lloviendo asi que esta nublado.

e. Juan busca novia solo cuando esta aburrido.

2. Escribe las negaciones de las siguientes proposiciones:

a. Los insectos tienen 4 patas y los arácnidos tienen 8.

b. México no ganara ni el primer ni el segundo lugar en clavados.

c. Si hoy es quincena habra mucho trafico.

d. Si a<b entonces a2 < b2.

3. Usa ┐,, para construir un o exclusivo (es decir, una afirmacion que sea cierta cuando una y
solo una de dos afirmaciones sea cierta.

4. Escribe las siguientes proposiciones usando únicamente la conjunción, la disyunción y la

negación.

a. P  Q b. ┐Q  ┐P c. ┐(P Q) d. (PQ)R
Tablas de verdad
La verdad o falsedad de las proposiciones que se obtienen a partir de otras por medio de los
conectores ┐,,, solo depende de la verdad o falsedad de las proposiciones originales y no de
lo que estas digan. Podemos resumir esto por medio de las tablas de verdad, que expresan la
veracidad o falsedad de la combinacion en terminos de la veracidad o falsedad de las partes:

P ┐P P Q PQ P Q PQ P Q PQ

V F V V V V V V V V V
F V V F F V F V V F F
F V F F V V F V V
F F F F F F F F V

Hay una infinidad de maneras de combinar proposiciones por medio de conectivos, pero dos
combinaciones que se vean distintas pueden significar lo mismo (ser equivalentes). Por ejemplo,
las tablas de verdad de las siguientes proposiciones son iguales, y eso quiere decir que las tres
proposiciones P  Q , ┐P  Q y ┐Q  ┐P son equivalentes:

P Q PQ P Q ┐P Q P Q ┐Q  ┐P

V V V V V V V V V
V F F V F F V F F
F V V F V V F V V
F F V F F V F F V

Ejercicios.

5. Construye combinaciones de proposiciones P y Q usando ┐,,, cuyas tablas de verdad sean

a. b. c.

P Q P Q P Q
V V F V V V V V F
V F V V F F V F V
F V V F V F F V F
F F V F F V F F V

6. ¿Cuantas proposiciones no equivalentes podrán construirse combinando dos proposiciones? ¿Y

combinando 3 proposiciones?
Significados, cuantificadores
El lenguaje cotidiano puede ser ambiguo, pero al considerar una proposición su significado debe
quedar totalmente claro.

“Todos los perros no ladran” no es nada claro: podría interpretarse como “No todas los
perros ladran” o como “Ningún perro ladra”.

“Los perros tienen 4 patas” puede querer decir que como especie los perros tienen 4 patas
(lo que es cierto) o que cada perro individualmente tiene 4 patas (lo que es falso).

“Algunos números no tienen raiz cuadrada” es ambiguo porque no especifica a que clase de
números se refiere y la verdad o fasedad de la afirmación depende de eso.

En lógica y en matemáticas las palabras tienen significados muy precisos, que pueden diferir del
que se les da en el lenguaje común.

Al afirmar algo en matematicas estamos diciendo que es cierto sin excepciones, a menos que lo
aclaremos explícitamente. Para precisar el significado se usan los cuantificadores “todos”,
“algunos” , “existen” y “ningún” que significan siempre lo siguiente:

todos = no existe ninguno que no se escribe ∀ (para todo)

algún = algunos = existe al menos uno ∃ (existe)
ningún = no existe ninguno ∃ (no existe)

Ejemplos:

“Los mamíferos vuelan” = “Todos los mamíferos vuelan” = “No existen mamíferos que no vuelen”

“Todos los marcianos son verdes” = “No existen marcianos que no sean verdes”

Al afirmar que todos los marcianos son verdes no afirmamos que los marcianos existen!

“Algunas estrellas brillan” = “Existen estrellas que brillan” = “Al menos una estrella brilla”

Al afirmar que algunas estrellas brillan no afirmamos que algunas estrellas no brillen!

Observar ahora como son las negaciones de algunas proposiciones:

A : “Todas las aves vuelan” ┐A : “Algunas aves no vuelan”

B : “Ningún mamífero vuela” ┐B : “Algunos mamíferos vuelan”

C : “Algunas estrellas brillan” ┐C : “Ninguna estrella brilla”

D: “Algunos ploinomios no tienen raices” ┐D : “Todos los polinomios tienen raices”

E: “Para todo número real x, x<x2 ” ┐E : “Existe un número real x tal que xx2 ”
Ejercicio.

7. Si A : “Todos los hombres son mortales”

B : “Ninguna araña tiene 6 patas”
C : “Algunos números primos son pares”
D : “Algunos polinomios no tienen raices”
E : “Si a y b son dos números reales y a<b entonces a2 < b2.

escribe las siguientes proposiciones:

a. ┐A e. ┐E

b. ┐B f. ┐(A  B)

c. ┐C g. ┐(B  C)

d. ┐D h. ┐(A  B)

Tautologías

Al combinar proposiciones por medio de ┐   → pueden obtenerse proposiciones que son

siempre verdaderas, o que son siempre falsas, sin importar si las proposiciones iniciales eran
verdaderas o falsas. Por ejemplo:

P  ┐P siempre es verdadera, independientemente de P.

P  ┐P siempre es falsa, independientemente de P.

Las combinaciones de proposiciones que siempre son verdaderas se llaman tautologías y son
importantes porque son la base de los razonamientos lógicos. Las combinaciones de proposiciones
que siempre son falsas se llaman contradicciones.

Algunas tautologías útiles son:

PQ→P P→PQ (P  Q)  ┐P → Q P  (P → Q) → Q

(P → Q)  ┐Q → ┐P (P → Q)  (Q → R) → (P → R)

Para ver si algo es una tautologia basta ver que su tabla de verdad.

Ejercicio.

8. ¿Cuales de las siguientes proposiciones son tautologías ?

a. (P  Q)  (┐P  ┐Q) b. (P → Q)  (P → ┐Q) c. (P → Q) → (┐Q → ┐P)

d. P → (Q  ┐Q) e. (P → Q)  (P → ┐Q) → ┐P

(basta decir si es o no es, en caso de dudas puedes hacer las tablas de verdad)

R: Todas son tautologias. La b es equivalente a la d, que siempre es cierta, pero no dice realmente nada!
Argumentos lógicos

Un argumento lógico es un razonamiento que a partir de proposiciones verdaderas siempre

obtiene conclusiones verdaderas, sin importar que clase de proposiciones sean.

Podemos dar argumentos lógicos usando las condicionales que siempre son ciertas (aquellas →
que son tautologias) llamadas implicaciones y denotadas por  .

Ejemplos:

(P  Q)  ┐P  Q

“Hoy es sábado o domingo” y “Hoy no es sábado” implican “Hoy es domingo”

(P → Q)  P  Q

“Si nieva hace frio” y “Nieva” implican “Hace frio”

(P → Q)  ┐Q  ┐P

“Si nieva hace frio” y “No hace frio” implican “No nieva”

pero (P → Q)  ┐P  ┐Q

“Si nieva hace frio” y “No nieva” no implican “No hace frio”

(P → Q)  Q  P

“Si nieva hace frio” y “Hace frio” no implican “Nieva”

(P → Q)  (Q → R)  (P → R)

“Si nieva hace frio” y “Si hace frio me tapo” implican “Si nieva me tapo”

Ejercicios.

9. ¿Que conclusiones lógicas puedes obtener basándote únicamente en lo que se dice?

a. “Si a < b entonces a2 < b2 “ y “ a2 ≥ b2 “

b. “Si a < b entonces a2 < b2 ” y “a <b“

c. “Si a < b entonces a2 < b2 “ y “ a2 < b 2 “

10. ¿Cual es la mejor conclusión que puedes obtener?

a. (P → Q)  (┐Q → P) 

b. (P → R)  (Q → S) 
Silogismos

Hay otros tipos de argumentos lógicos, que se parecen pero no son realmente iguales a los
anteriores, que se obtienen combinando de maneras mas sutiles las proposiciones con
cuantificadores. Por ejemplo:

a. “Todos los pericos son aves” y “Todas las aves vuelan”  “Todos los pericos vuelan”

b. “Ninguna iguana vuela” y “Todas las aves vuelan”  “Ninguna iguana es ave”

c. “Algunos pajaros son aves” y “Todas las aves vuelan”  “Algunos pajaros vuelan“

Los argumentos de este tipo son muy generales y muy útiles, fueron estudiados por primera vez
por Aristoteles hace mas de 2000 años. Hay que tener cuidado con esta clase de argumentos
porque hay muchas combinaciones posibles, algunas son validas (son silogismos) y otras son
invalidas (son falacias). Para que un argumento sea válido no basta con que la conclusión sea
verdadera. Por ejemplo:

d. “Todos los pericos son aves” y “Algunas aves vuelan”  “Älgunos pericos vuelan“

Es verdad que algunos pericos vuelan, pero esto no es una consecuencia lógica de lo anterior. Para
ver que el argumento anterior es inválido, basta cambiar “pericos” por “pinguinos”.

e. “Ninguna iguana es ave” y “Todas las aves vuelan”  “Ninguna iguana vuela“

Se puede ver que el argumento anterior es inválido cambiando “iguana” por “murciélaga”.

f. “Ningun insecto es un ave” y “Ningun ave es un reptil”  “Ningun insecto es un reptil“

el argumento anterior es inválido, basta cambiar “reptil” por “perico”.

g. “Hay políticos bandidos” y “Hay bandidos ricos”  “Hay políticos ricos“

Lo importante de estos argumentos no es lo que dicen en particular, sino su estructura, la manera

en que estan conectadas las distintas partes. Su valides o invalides se puede aclarar si los vemos
de manera mas general, sin referencia a cosas que ya conocemos.

Algunos Silogismos:

“Todo X es Y” y “Todo Y es Z”  “Todo X es Z” (el ejemplo a. es de este tipo)

“Ningún X es Z” y “Todo Y es Z”  “Ningún X es Y” (el ejemplo b. es de este tipo)

“Todo X es Y” y “Ningún Y es Z”  “Ningún X es Z”

“Algún X es Y” y “Todo Y es Z”  “Algún X es Z” (el ejemplo c. es de este tipo)

Algunas falacias:

“Todo X es Y” y “Algún Y es Z”  “Algun X es Z” (el ejemplo d. es de este tipo)

“Ningún X es Y” y “Todo Y es Z”  “Ningun X es Z” (el ejemplo e. es de este tipo)

“Ningún X es Y” y “Ningun Y es Z”  “Ningun X es Z” (el ejemplo f. es de este tipo)

“Algún X es Y” y “Algún Y es Z”  “Algun X es Z” (el ejemplo g. es de este tipo)

No tiene caso intentar memorizar los distintos tipos de silogismos y falacias, son muchos y es fácil
confundirse, el chiste esta en entender por que unos son válidos y otros no, esto se logra
pensando en ejemplos y practicando mucho.

El lenguaje formal ayuda a aclarar la estructura de las afirmaciones y los argumentos lógicos. Por
ejemplo, considerar la afirmación:

“Todos los cazadores tienen dientes y algunos gatos son cazadores”

Si hacemos

C(x) = “x es cazador” D(x) = “x tiene dientes” G(x) = “x es gato”

Entonces la afirmación se puede escribir como

( ∀x, C(x) → D(x) )  ( ∃x, G(x) ∧ C(x) )

De aqui podemos concluir, sin importar que sea C(x), D(x) ni G(x), que

∃x, G(x) ∧ D(x) es decir, que “algunos gatos tienen dientes”

Otro ejemplo.

Platón era un gran filósofo

Todos los griegos eran grandes filósofos
por lo tanto Platón era griego

Si hacemos P(x)= “x es Platon” G(x)=”x es griego” F(x) = “x es un gran filosofo”

(los tiempos de los verbos son irrelevantes) el argumento se ve asi:

( ∀x, P(x) → F(x) ) ∧ ( ∀x, G(x) → F(x) ) ⇒ ( ∀x, P(x) → G(x) )

Pero este argumento es invalido porque no podemos conectar las primeras proposiciones para
obtener la ultima. Para que un argumento sea valido no basta con que la conclusion sea cierta!

¿Los siguientes argumentos serán válidos o no?

a. Todos los matemáticos son científicos

Algunos científicos están locos
asi que algunos matemáticos esán locos.

b. Todos los marcianos son verdes

Ningun ser sin antenas es verde
Por lo tanto todos marcianos tienen antenas

c. Ningún mentiroso es confiable

Ninguno de mis amigos es mentiroso
Así que todos mis amigos son confiables.

d. Algunos animales son cazadores

Algunos cazadores son gatos
Entonces algunos animales son gatos. (a no, b si, c no, d no)
Los silogismos se pueden combinar para obtener argumentos logicos mas elaborados, Lewis
Carrol (autor de Alicia en el pais de las maravillas y aficionado a las matemáticas y la lógica) tiene
ejemplos divertidos, donde a partir de premisas aparentemente no relacionadas hay que sacar
una conclusión lógica. Aqui hay unos ejemplos sencillos:

Ningun pato sabe bailar Los colibríes son coloridos

Ningun oficial se niega a bailar Ningun pájaro grande come miel
Todas mis aves de corral son patos Los pájaros que no comen miel son pardos
Entonces... Entonces...

Los bebes son ilógicos

Nadie que maneje cocodrilos es despreciable
Las personas ilógicas no son apreciadas
Entonces...

Ejercicios.

11. ¿Es lo mismo o no es lo mismo?

a. “Todos los x son y” que “Todos los y son x”

b. “Algunos x son y” que “Algunos y son x”

c. “No todo x es y“ que “No todo y es x“

d. “Ningún x es y” que “Ningún y es x”

12. ¿Que conclusiones lógicas puedes obtener?

a. Si “Algún X es Y” y “Ningún Y es Z” entonces ...

b. Si “Ningún X es Y” y “Algún Y es Z” entonces ...

c. Si “Algún X es Y” y “Algún Y no es Z” entonces ...

13. ¿Que puedes concluir a partir de esto? (a veces no se puede concluir nada)

a. “Ningún reptil tiene pelo” y “Las serpientes son reptiles”

“Ninguna serpiente tiene pelo”
b. “Los caballos tienen herraduras” y “Ningún humano tiene herraduras”
“Ningun humano es un cabalo¨
c. “Ningun esquimal es europeo” y “Ningun europeo es marciano”
No puede concluirse nada
d. “Algunos cuadrilateros son rectangulos” y “Los rectangulos son paralelogramos”
“Algunos cuadrilateros son paralelogramos”
e. “Algunas figuras son poligonos” y “Ningun circulo es un poligono”
Algunas figuras no son circulos”
f. “Algunos cuadrúpedos son mamiferos” y “Algunos mamiferos nadan”
No puede concluirse nada
g. “La suma de dos números impares es un número par“ y
“3 es un número impar“
3 no es la suma de dos impares
h. “La suma de dos números impares es un número par“ y “6 es un número par”
No se puede concluir nada
Demostraciones

¿Como podemos estar seguros de que algo es cierto, o que es una consecuencia lógica de otras
cosas? La intuición ayuda pero no podemos confiar ciégamente en ella, porque podemos
equivocarnos, especialmente si los argumentos son largos o enredados.

Hay que demostrar que lo que pensamos es cierto. Una demostración es un argumento lógico,
en el que cada paso esta plenamente justificado y es una consecuencia lógica inmediata de los
anteriores.

En matemáticas todo se demuestra, aprender a hacer demostraciones toma tiempo y dedicación.

Vamos a empezar haciendo algunas demostraciones sencillas.

Hay metodos de demostracion directos y metodos indirectos, que a veces se combinan.

Demostraciones por pasos.

Como ( p → r ) ∧ ( r → q ) ⇒ ( p → q )
entonces podemos demostrar p → q
si demostramos p → r y r → q donde r es cualquier otra proposición.

Para demostrar que si pasa A entonces pasa Z, podemos buscar una serie de proposiciones, C,D,E,..., tales
que podamos demostrar que si pasa A entonces pasa B, si pasa B entonces pasa C, si pasa C entonces pasa
D.... hasta terminar en Z.

Ejemplos de demostraciones directas

• Demuestra que si algunos A son B y ningun B es C entonces algunos A no son C

Hipotesis 1: Existe x tal que x es A y x es B.

Hipotesis 2: Para todo y, si y es B entonces y no es C
Por demostrar: Existe z tal que z es A y z no es C.

Demostración (directa):
Por hip 1, existe x tal que x es A y x es B.
Por hip 2, como x es B entonces x no es C
Asi que x es A y x no es C, lo que se queria demostrar. □

• Demuestra que si A y B son conjuntos entonces (AUB)c = Ac ∩ Bc

Hipotesis: A y B son conjuntos

Por demostrar: (AUB)c ⊂ Ac ∩ Bc y Ac ∩ Bc ⊂ (AUB)c

Demostracion (directa):
∀x, x ∈ (AUB)c ⇒ x ∉ AUB ⇒ x ∉ A ∧ x ∉ B ⇒ x ∈ A c ∧ x ∈ Bc ⇒ x ∈ A c ∩ Bc
∈sique (AUB)c ⊂ Ac ∩ Bc

∀x, x ∈ Ac ∩ Bc ⇒ x ∈ Ac ∧ x ∈ Bc ⇒ x ∉ A ∧ x ∉ B ⇒ x ∉ AUB ⇒ x ∈ (AUB)c

Asi que Ac ∩ Bc ⊂ (AUB)c □

Demostraciones por contrapositiva:

Como p → q es equivalente a ┐q → ┐p
entonces podemos demostrar p → q
demostrando la contrapositiva ┐q → ┐p

Para demostrar que si pasa A entonces tiene que pasar B podemos suponer que B no pasa y
mostrar que entonces tampoco pasa A.

Ejemplos de demostraciones por contrapositiva:

• Demuestra que si algunos A no son B y todos los C son B entonces algunos A no son C

Hipotesis 1: existe x tal que x es A y x no es B

Hipotesis 2: para todo y, si y es C entonces y es B
Por demostrar: Existe z tal que x es A y z no es C

Demostración (contrapositiva):

Supongamos que no existe z tal que (z es A y z no es C)

Es quiere decir que para todo z, si z es A entonces z es C
Asi que por hip 2, si z es A entonces z es B
Por lo tanto, no existe z tal que z es A y z no es B, lo que niega la hipotesis 1. □

• Demuestra que si el cuadrado de un número entero es impar, entonces el número es

impar.

Hipotesis: n es un numero entero y n2 es impar

Por demostrar: n es impar

Demostración (contrapositiva):

Supongamos que n fuera par

Entonces n=2m para algun entero m
Por lo tanto n2 =(2m)2 = 4m2 = 2(2m2)
esto dice que n2 es par, lo que niega la hipotesis. □
Demostraciones por contradicción:

Si r es cualquier proposicion falsa, entonces

p → q es equivalente a p ∧ ┐q → r
asi que podemos demostrar p → q
demostrando p ∧ ┐q → r

Ejemplos de demostraciones por contradiccion:

• Demostrar que si todos los A son B y ningun B es C entonces ningun A es C.

Hip 1 para todo x, si x es A entnces x es B

Hip 2: para todo y, si y es B entonces y no es C
Por demostrar: para todo z, si z es A entonces z no es C

Demostración (por contradicción):

Supongamos que existe z tal que z es A y z es C
Por hip 1, como z es a entonces z es B
Por hip 2, como z es B entonces z no es C
Por lo tanto, z es C y z no es C, lo que es una contradicción. □

• Demostrar que no existen 2 numeros naturales m y n tales que m / n = √2

Hipotesis: m y n son numeros naturales

Por demostrar: m / n ≠ √2, es decir, m2 ≠ 2n2

Demostración (por contradicción)

Supongamos que existen m y n tales que m2 = 2n2

sean m y n los naturales mas chicos que cumplan la igualdad.

Como m2 = 2n2 ,entonces m2 es par, asi que m es par, m=2m'

Asi que (2m')2 = 2n2 por lo tanto 4m'2 = 2n2 o sea 2m'2 = n2

Por lo tanto n2 es par, asi que n es par, n=2n', 2m'2 = (2n')2 = 4n'2

Asi que m'2 = 2n'2 donde m' y n' son mas chicos que m y n
y esto contradice que m y n fueran los mas chicos. □
Ejercicios de repaso.

14. Identifica cada proposicion de la izquierda con una afirmación equivalente en la derecha:
a. P→Q a'. PvQ
b. P → ┐Q b' ┐P v ┐Q
c. Q→ P c'. ┐P vQ
d. ┐Q → ┐P d'. P  ┐Q
d. ┐(P → Q) e'. ┐(PQ)

15. Muestra que los conectores lógicos pueden combinarse para obtener cualquier tabla de
verdad.

16. Escribe las negaciones de las siguientes proposiciones:

a. Algunas veces llueve.

b. Todo es verdad y nada es mentira.
c. Algunos perros no nadan y ningun gato vuela.
d. Ningún bicho de 4 o 8 patas es un insecto.
e. Si un bicho tiene 4 o 8 patas entonces no es un insecto.
f. Si un bicho es un insecto entonces no tiene 4 o 8 patas.
g. Los polinomios de grado impar tienen al menos una raiz.
h. Algunos números reales no tienen raiz cuadrada.
i. Si una función es suave entonces es continua.
j. Algunas afirmaciones son falsas y algunas afirmaciones son verdaderas.
k. Para todo n ∈ N, existe m ∈ N tal que m>n.
17. Que conclusiones lógicas puedes obtener?
a. Algunos urgs son midrs y todos los midrs son uchs.
b. Todos los urgs son midrs y algunos mirds no son exts.
c. Algunos perros no ladran y nada que ladra muerde.
d. Algunas raices son irracionales y algunos irracionales son trascendentes.
e. Los números racionales son algebraicos y los números trascendentes no son algebráicos
f. Si una función es suave entonces es continua y existen funciones que no son continuas.
g. Si una función es suave entonces es continua y existen funciones que no son suaves.
h. ∀x∈R, ∃z∈C tal que z2=x y ∀y∈C, ∃w∈C tal que w2=y.