Asignatura:

Pensamiento Lógico y Matemático.

Actividad a desarrollar:

Tarea 1 - Proposiciones y Tablas de Verdad

desarrollo de actividades 2 y 3

Presenta:

Brahian Muñoz Marmolejo.

CC. 1.115.079.107
Estúdiate ingeniería industrial
CEAD PALMIRA
Grupo: 200611_730

Código del curso: (200611B_614)

Tutor del curso:

 JESUS ANTONIO PEÑA RUEDA

Guadalajara de Buga, 22 septiembre 2019

EJERCICIO 1

TEMAS PROPUESTOS
a. ¿Que es la negación lógica?

b. Definición de negación lógica

c. Tabla de verdad de la negación

d. Algunas Leyes lógicas de la negación

e. Ejemplos

f. Negación de las proposiciones categóricas

g. La negación como función de verdad.

La negación lógica denotado con el símbolo ∼ o ¬ 👈 del capítulo de lógica proposicional, este operador
tiene la propiedad de cambiar el valor de verdad de las proposiciones o variables proposicionales,
aunque también es usado en enunciados abiertos, también llamados funciones proposicionales.

En la sección de cuantificadores del capitulo de teoría de conjuntos la negación es capaz de cambiar del
cuantificador existencial al universal o viceversa, también es usado como complemento de un conjunto.

¿Que es la negación lógica?

Si bien es cierto que la negación de una proposición no realiza ninguna conexión lógica, es decir, no es
un conectivo lógico propiamente dicho, no deja de ser una proposición compuesta luego de negar una
proposición simple.

Una proposición simple tiene como finalidad realizar un juicio pero de manera afirmativa, si este juicio
es una negación, entonces sería una proposición compuesta. Aclarando este punto, veamos el concepto
de negación lógica:

Definición de negación lógica

En matemáticas, la negación lógica denotado con el símbolo ∼ es un operador lógico que tiene la
propiedad de cambiar la validez de una proposición p, esto es, cambia de verdadero a falso y
viceversa, la negación de una proposición se escribe como ∼p.
EJEMPLOS.

Sea las proposiciones:

Los perros tienen 4 patas

Los perros no tienen 4 patas

Las dos proposiciones tiene algo en común, uno afirma y la otra niega para un mismo sujeto y con
predicados contrarios.

El enunciado 2 se puede escribir así: Los perros no tienen 4 patas = ∼(Los perros tienen 4 patas)
… (I)

Es decir, la proposición 2 es la negación de la proposición 1, por cuestiones prácticas, las proposiciones 1

y 2 serán representados por p y q respectivamente, de esta manera quedaría así:

p = Los perros tienen 4 patas

q = Los perros no tienen 4 patas

La proposición (I)se puede escribir así:

p=∼q

Si bien pes una proposición compuesta, la negación ∼no es un conector lógico o conectiva lógica
porque no conecta con otra proposición.

Negación lógica de proposiciones simples:

p = El Tumi es de oro.

∼p= El tumi no es de oro.

q= Los seres humanos no son de Ganimedes

∼q= Los seres humanos son de Ganimedes.

r= El tigre es un felino .

∼r= El tigre no es un felino

La negación de proposiciones compuestas:

p = Yo soy terricola y mortal.

∼p= yo no soy terricola o no soy mortal.

q= la tierra es cuadrada y circular

∼q=la tierra no es cuadrada o circular.

Tabla de verdad de la negación

Como ya hemos indicado antes, lo único que hace este operador lógico es cambiar la validez de las
proposiciones.

Si una proposición es falsa, la negación de la proposición es verdadera, de la misma manera, si una

proposición es verdadera, la negación de tal proposición es falsa.

En la siguiente tabla de verdad muestro el cambio de la validez de una proposición cualquiera.

Donde:

V=significa que la proposición es verdadera

F=significa que la proposición es Falsa

Algunas Leyes lógicas de la negación

Las propiedades relacionadas con las negación lógica lo puedes encontrar en las principales leyes
lógicas. Una clásica propiedad común es la ley de la doble negación (o coloquialmente mencionada
como ley de la negación de la negación), por ejemplo:

Enunciado afirmativo: Los perros son carnívoros.

Enunciado negado: ∼(los perros son carnívoros) = los perros no son carnívoros.

Doble negación: ∼( ∼(los perros son carnívoros)) = ∼(no los perros no son carnívoros)= los
perros son carnívoros.
Como acaban de notar, la doble negación de una proposición devuelve la misma proposición,
simbólicamente se representa así:

∼(∼p)=p

Ejemplos:

Todos los ejemplos de doble negación tiene la siguiente forma lógica

∼(∼p)=p veamos:

• No es cierto que mi perro no tiene cola = mi perro tiene cola.

• No es verdad que la tierra no es redonda = la tierra es redonda.

• Es falso que los gatos no comer carne = los gatos comer carne.

Por tanto, queda claro que el valor de verdad de una doble negación de una proposición resulta ser
la misma proposición.

Negación de las proposiciones categóricas

La negación puede tener otras aplicaciones como en las proposiciones categóricas, existen unas
palabras especiales que se les añade al sujeto de un enunciado abierto para transformarlo en
proposiciones, este tipo de proposiciones se les llama proposiciones categóricas y pueden ser
justificadas de manera general o particular al sujeto según el predicado que se le asigne.

Las proposiciones categóricas son proposiciones que afirman o niegan una cantidad del sujeto de
una proposición, esto es, el predicado afirma o niega para todos o algunos a una categoría (en este
caso, el sujeto). Las proposiciones categorías tiene la siguiente forma:

a. Todo S es P

b. Ningún S es P

c. Algún S es P

d. Algún S no es P
Y aquí es donde entra la negación lógica, la negación de la proposición categoría de 1 es 2 y la
negación de 3 es 4 y viceversa, es decir:

La negación de “todo S es P” es “ningún S es P.

La negación de “ningún S es P” es “Todo S es P.

La negación de “algún S es P” es “algún S no es P”

La negación de “algún S no es P” es “algún S es P

La negación como función de verdad

Otra forma de crear oposición de los argumentos proposicionales verbalmente hablando es con la
frase “no es verdad que” sin necesidad de introducir el adverbio “no” entre el sujeto y predicado.

Esta palabra es suficiente para transformar una proposición simple en compuestas como mencione
anteriormente, si bien la negación de una compuesta puede generar otra compuesta, también nos
puede dar también una proposición simple.

Sea la siguiente proposición como ejemplo:

p: La puerta no es de madera. (compuesta)

Su negación sería:

∼p: No es cierto que la puerta no es de madera. (compuesta)

Su equivalente sería:

∼p: La puerta es de madera. (simple)

Cuando un operador lógico opera sobre una proposición con ciertos posibles valores de verdad,
también nos devuelven un valor de verdad específico, estos operadores lógicos se les llama
funciones de verdad.

De hecho, todos los conectivos lógicos que presentaremos en secciones posteriores también pueden
tratarse como funciones de verdad.

Para el caso de la negación lógica, hay que ser cuidadoso cuando negamos una proposición cuando
tratamos con cuantificadores como “Algunos son” o “algunos no son”, ya que una de ellas es la
conclusión de la otra.

REFERENCIAS O BIBLIOGRAFIAS.

https://ciencias-basicas.com/cursos-gratuitos-de-matematica/matematica-superior-1/logica-
proposicional/que-es-la-negacion-logica/

Ejercicio 2: Proposiciones y Tablas de verdad

El arcoíris se forma con muchos colores si y sólo si el agua de lluvia interactúa
con los rayos de luz solar o si el sol está detrás de las nubes entonces, el
arcoíris no se forma con muchos colores

Proposiciones simples:

p = El arcoíris se forma con muchos colores.

q = el agua de lluvia interactúa con los rayos de luz solar.
r = si el sol está detrás de las nubes.

Proposiciones compuestas:

~p = el arcoíris no se forma con muchos colores.

Conectivos lógicos:

No: ~ Negación.
Si y solo si: ↔ Bicondicional.
Entonces: → Implicación. O entonces
O: v Disyunción.

Proposiciones compuestas (lenguaje formal)

(p ↔q) v (r →~p)

Tabla de Verdad.
p q r ~p (p ↔ q) (r →~p) (p ↔q) v (r →~p)

V V V F V F V

V V F F V V V

V F V F F F F

V F F F F V V

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

F F V V V V V

F F F V V V V

Es una contingencia.

Ejercicio 3: Problemas de aplicación

• (𝑝→𝑞) ∧ (𝑟 ⋀ 𝑠)

P: Si yo estudio en la universidad meca trónica

Q: podría trabajar como un mecánico
R: estudiar ingeniería
S: estudiar electrónica.

• Si yo estudio en la universidad meca trónica entonces podría trabajar como un mecánico

o estudiar ingeniería o estudiar electrónica.
p q r s (𝑝→𝑞) (𝑟 ⋀ 𝑠) • (𝑝→𝑞) ∧ (𝑟 ⋀ 𝑠)

V V V V V V V

V V V F V F F

V V F V V F F

V V F F V F F

V F V V F V F

V F V F F F F

V F F V F F F

V F F F F F F

F V V V V V V

F V V F V F F

F V F V V F F

F V F F V F F

F F V V V V V

F F V F V F F

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

Es una contingencia.