Está en la página 1de 14

Momento Intermedio Paso 2 – Uso de las Tablas de Verdad

Presentado por:
LORENA MARTINEZ SANCHEZ
Código: 1065564379

PENSAMIENTO LOGICO Y MATEMATICO

GRUPO: 200611_864

Presentado a:
JUAN POLANCO LARA
TUTOR

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA


UNAD
CURUMANI 2017
INTRODUCCIÓN

El siguiente trabajo tiene como propósito acercarnos de una manera muy detallada
con todo lo relacionado de la lógica proposicional, los diferentes conectores lógicos
y la representación en la tabla de la verdad, y el Diagrama de Venn.
OBJETIVOS

Reconocer la conceptualización de las proposiciones categóricas

planteadas en la guía.

Conocer el simulador TRUTH para adquirir conocimientos en este

curso

Identificar las terminologías de la Lógica Matemática


1)Conceptualización de la terminología de la Lógica Matemática
seleccionada

Cuantificadores y Proposiciones Categóricas

Es claro que se ha estudiado proposiciones que solo se les puede asignar


un valor de verdad, ya sea falso o verdadero; esto refiriéndome a todo lo que
hemos visto respecto a las tablas de verdad.

Ahora bien, iniciemos definiendo las proposiciones abiertas.

Proposiciones Abiertas:

Una proposición abierta es una expresión que contiene una variable "x" y
que se convierte en una proposición cerrada cuando "x" se sustituye por un
valor determinado.

Ejemplo:

La proposición se puede enunciar de las siguientes formas:

1. Existe x = 1 tal que x + 1 = 2. Proposición verdadera


2. Para todo x ≠ 1, se tiene que x + 1 = 2. Proposición falsa

Veamos la representación simbólica de estas dos expresiones es la


siguiente:

1. (Ǝx = 1) / (x +1 = 2) Verdadera
2. (∀x ≠ 1) / (x + 1 = 2) Falsa.
Simbólicamente, en el primer caso el cuantificador recibe el nombre
de cuantificador existencial, pues está informando que existe un sólo valor
para "x" que hace verdadera la proposición dada.

Mientras que en el segundo caso el cuantificador se llama cuantificador


universal porque afirma que todos los valores de "x" diferentes de 1 hacen la
proposición falsa, es decir, que un valor de "x" diferente de 1 convierte x + 1
= 2 en proposición falsa.

Cuantificadores.

Los cuantificadores son símbolos utilizados para indicar cuántos o qué tipo
de elementos de un conjunto dado cumplen con cierta propiedad. Existen
muchos tipos de cuantificadores, entre los más utilizados están:

Cuantificador universal (∀).

Cualquier cuantificador de la forma para todo, todo, para cada, o cada, se


llama cuantificador universal y se simboliza por “∀”.

Ejemplo:

(∀x =1) / (x + 4 = 4 + x) significa que todo "x" verifica la ecuación

Entonces: esta expresión se lee de la siguiente manera “ para todo x =1 se


verifica
que x + 4 = 4 + x".

Cuantificador existencial (Ǝ).


Los cuantificadores de la forma existe por lo menos uno, se llaman
cuantificadores existenciales y se representan así: “Ǝ”.

Ejemplo:

(Ǝx = 1) / (2x + 3 = 5) significa que para x = 1 verifica la ecuación

Por lo tanto, esta expresión se lee de la siguiente manera “existe por lo


menos uno x =1 se verifica que 2x + 3 = 5".

Proposiciones categóricas
Una Proposiciones categóricas es un enunciado que consta de dos
Proposiciones las cuales actúan una como sujeto y otra como predicado.

Ejemplos:

 Ningún soltero es casado


 Algunos Mazda no Son fabricados en Japón

Estos tipos de enunciados (sujeto-predicado) son los que encontramos en


una forma de lógica, conocida como aristotélica, tradicional, o de silogismos
categóricos.
Existen cuatro clases de proposiciones categóricas. Usando “S” y “P” como
símbolos, estas son:

Proposición categórica Representación

Universal afirmativa Todos S son P

Universal negativa Ningún S es P

Particular afirmativa Algunos S son P

Particular negativa Algunos S no son P

Ejemplos:

 Todos los poetas son filósofos


 Ningún poeta es filósofo
 Algunos poetas son filósofos
 Algunos poetas no son filósofos

Representación de las proposiciones categóricas.

Presentación de los cuatro tipos de proposiciones categóricas

Caso 1: Todo S es P.
La parte del círculo S que esta fuera de P representa todos los S que no
son P

Todo S es P

Escritura en Forma Lógica: (∀x) (Sx→Px).

Caso 2: Ningún S es P o ningún P es S.

La parte común de los dos círculos representa la intersección o producto de


las dos clases SP
Ningún S es P

Ningún P es S

Escritura en Forma Lógica: (∀x) (Sx→¬Px)

Caso 3: Algún S es P o algún P es S

Algún S es P

Algún P es S

Escritura en Forma Lógica: (Ǝx) (Sx ᴧ Px).

Caso 4: Algún S no es P

Algún S no es P

Escritura en Forma Lógica: (Ǝx) (Sx ᴧ ¬Px).


Algún P no es S

Escritura en Forma Lógica: (Ǝx) (Px ᴧ ¬Sx).

2) COMPROBACIÓN DE LA TABLA DE LA VERDAD CON EL SIMULADOR


TRUTH

Caso: 3

Mario le escribe al tutor asignado en el curso de Pensamiento Lógico y


Matemático para consultarle respecto a los puntos opcionales que reciben
quienes han asistido a los eventos de B-Learning, pues él asegura tener
derecho a dichos puntos. El tutor le responde qe por favor le envíe
evidencia de su asistencia; de manera que Mario envía un nuevo mensaje
en el que menciona lo siguiente: “Si asistí a los encuentros B-Learning,
entonces desarrollé los ejercicios de la guía de Trabajo Colaborativo. Si
desarrollé los ejercicios de la guía, entonces obtengo buena nota en el
trabajo. Si y sólo si desarrollé los ejercicios de la guía de Trabajo
Colaborativo. Realice la respectiva tabla de verdad y determinado si es
tautología, contradicción o contingencia, establezca si para el tutor hay
suficientes criterios para creer que el estudiante sí asistió a los encuentros
b-learning.
Pantallazo
Pantallazo

P: Asistir a los encuentros B learning

Q: Desarrollar los ejercicios de la guía de trabajo colaborativo

R: obtener buenas notas


3) Representar gráficamente con el uso del Diagrama de Venn el
razonamiento seleccionado.

 Ningún ciclista puede ser campeón y ocupar el segundo lugar al


mismo tiempo en el pódium del Tour de Francia.
Nairo Quintana es ciclista colombiano.
Nairo Quintana no puede ser campeón y ocupar el segundo lugar al
mismo tiempo en el pódium del Tour de Francia.
Solución:

U= Ciclistas que participan del Tour de Francia.

S= Ciclista subcampeones que participa del Tour de Francia.

C = Ciclistas Campeones del Tour de Francia.

x = es un ciclista colombiano

El elemento x no puede estar ubicado en el centro o parte común de los dos


conjuntos, ya que no se puede ser campeón y subcampeón.
CONCLUCION

Puedo concluir con el presente trabajo que la tabla de la verdad es una herramienta
de mucha importancia, ya que por medio de ella podemos conocer el valor de una
proposición compuesta.
BIBLIOGRAFIA

http://campus03.unad.edu.co/ecbti12/mod/page/view.php?id=6939&inpopup=
1

http://erenriquez.net/largoty/Ova01MD/

https://es.wikipedia.org/wiki/Tabla_de_verdad