FASE 2 - USO DE LAS TABLAS DE VERDAD

TRABAJO INDIVIDUAL

ANDREA BIBIANA BELRAN RODRIGUEZ

CODIGO: 35535537

GRUPO: 200611_13

Presentado a:
ADRIAN REINALDO VALENCIA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

PROGRAMA PSICOLOGA
LOGICA MATEMATICA
23/10/2016
OBJETIVOS

Comprender y verificar si la tabla de verdad es una tautologa contingencia o

contradiccin.
Establecer la clasificacin de las preposiciones.
Identificar los conectores para el manejo de la tabla d verdad
Representacin grfica de diagramas de ven.
INTRODUCCIN

En el siguiente trabajo veremos todo sobre las tablas de verdad atreves del simulador truth,
trabajaremos la conceptualizacin de los problemas de los anexos que fueron escogidos, como los
cuantificadores y proposiciones categricas con sus respectivos ejemplos para un mayor
entendimiento de este tema tambin se ver la representacin grfica del enunciado de los
silogismo en un diagrama de ven.
PRIMERA ETAPA
CONCEPTUALIZACIN
CUANTIFICADORES Y PROPOSICIONES CATEGRICAS

CUANTIFICADORES UNIVERSAL Y EXISTENCIAL

Existen en la matemtica, expresiones que contienen variables como x, y, z, para las cuales su
valor de verdad depende del valor que tome la variable.
Ejemplo: x + 1 = 2
Esta proposicin es verdadera si: x = 1 y falsa si x 1 a estas proposiciones se les llama
proposiciones abiertas
Hasta el momento se han tratado proposiciones a las cuales se les pude asignar un valor de
verdad, ya sea falso o verdadero, ahora veremos la lgica de proposiciones abiertas, para ello se
asigna un expresin llamada cuantificador que permite restringir los valores de las variables, de
tal forma que la proposicin toma un solo valor de verdad para dicha restriccin.
Ejemplo: la proposicin se puede anunciar de la siguiente forma,
1- Existe x = 1 tal que x + 1 = 2 proposicin verdadera
2- X, 1, se tiene que x + 1 = 2 proposicin falsa
La preposicin simblica es la siguiente:
1- . (x=1) / (x+1= 2) Verdadera
2-
3- 2. (x1) / (x+1= 2) Falsa
En el primer caso recibe el nombre de cuantificador existencial porque est informado que existe
un solo valor para x que hace verdadera la proposicin dada. Mientras que en el segundo caso, el
cuantificador se llama universal porque todos los valores de x diferentes de uno hacen la
proposicin falsa es decir que un valor de x diferente de 1 convierte a x + 1 = 2 en proposicin
falsa.
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 ecuacin
La palabra algunos significa que por lo menos se verifica la condicin, los cuantificadores de la
forma existe por lo menos uno, se llaman cuantificadores existenciales y se representa as .
Ejemplo:
(x = 1) / (2x + 2 = 5)
PROPOSICIONES CATEGORICAS
Cualidad y cantidad de las proposiciones categricas:
Cada proposicin categrica tiene una cualidad y una cantidad.
Las proposiciones categricas son consideradas afirmaciones o aserciones acerca de clases, as
una proposicin categrica puede afirmar o negar que una clase este incluida en otra. Ejemplo
Todos los poetas son filsofos
Algunos
Ningn
Algunos
Cualidad afirmativa o negativa: la cualidad de una proposicin es afirmativa o negativa segn
el sujeto, completa o parcialmente, afirme o niegue la inclusin de la clase, por lo tanto la
proposiciones afirmativas universales y particulares tienen la cualidad afirmativa, en cambio las
proposiciones negativas universales y particulares tienen cualidad negativa.
Cantidad universal y particular
Universales (afirmativas o negativas) o particulares (afirmativas o negativas) por esta razn se
pude decir qu hay cuatro formas estndar de proposiciones categricas
Proposicin Categrica Universal Afirmativa
Proposicin Categrica Universal Negativa
Proposiciones categricas Afirmativa Particular
Proposiciones categricas Negativa Particular
Todos los poetas son filsofos
Ningn poeta es filsofo
Algunos poetas son filsofos
Algunos poetas no son filsofos
Las proposiciones las podemos representar grficamente diagramando las clases a las que
pertenecen
 La clase se grafica de esta manera:

Para diagramar la proposicin de que s no tiene miembros o de que no hay s se sombrea el

crculo que represente s lo cual indica que no tiene nada ejemplo:

Para la proposicin que existe en s se interpreta que hay por lo menos un miembro de la clase s y
le colocamos una x en cualquier parte,

Estos diagramas representan las proposiciones (no hay S) y (hay S)

SEGUNDA ETAPA ANEXO 1

PANTALLAZO Y CONTEXTUALIZACIN DEL PROBLEMA ESCOJIDO

PUNTO 3

Mario le escribe al tutor asignado en el curso de Pensamiento Lgico y Matemtico 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 que por favor le
enve evidencia de su asistencia; de manera que Mario enva un nuevo mensaje en el que
menciona lo siguiente: Si asist a los encuentros B-Learning, entonces desarroll los ejercicios
de la gua de Trabajo Colaborativo. Si desarroll los ejercicios de la gua, entonces obtengo buena
nota en el trabajo. Si y slo si desarroll los ejercicios de la gua de Trabajo Colaborativo. Realice
la respectiva tabla de verdad y determinado si es tautologa, contradiccin o contingencia,
establezca si para el tutor hay suficientes criterios para creer que el estudiante s asisti a los
encuentros b-learning.

Si asist a los encuentros B-Learning, entonces desarroll los ejercicios de la gua de

Trabajo de trabajo colaborativo.
P= asist al encuentro B-learning
Q= desarrolle los ejercicios de la gua de trabajo

(p q) es una contingencia
 Si desarroll los ejercicios de la gua, entonces obtengo buena nota en el trabajo.
P = desarrolle los ejercicios de la gua
q = obtengo buena nota en el trabajo
Es una contingencia

(p q)

Si y slo si desarroll los ejercicios de la gua de Trabajo Colaborativo

Es contingencia
p= desarrolle los ejercicios
q= de la gua de trabajo

pq

Para el tutor hay los suficientes motivos para pensar que el estudiante asisti al
que B-learning
TERCERA ETAPA

ANEXO 2
Punto # 4
Premisa 1- Ningn tratado de la Escuela Piagetiana puede ser del constructivismo.
Premisa 2- Algunos estudios sobre la pedagoga pueden ser un enfoque del
constructivismo.
Conclusin- Algunos estudios sobre la pedagoga no son Tratados de la Escuela
Piagetiana

PEDAGOG PIAGETIA
IA

CONSTRUCTIV

- La x quiere decir que algunos estudios de la pedagoga no son tratados de la escuela

piagetiana
CONCLUSIONES
El siguiente trabajo me sirvi mucho para conocer la tabla de verdad y todo sobre la construccin
de enunciados problemicos donde estos nos representan muchas situaciones de nuestra vida
cotidiana, para un buen uso de esta unidad 2, tambin tener un conocimiento sobre cmo sacar
los resultados utilizando el Truth para la tabla de verdad, con esta actividad concluyo los temas de
la unidad 2.

BIBLIOGRAFIA
Con la ayudad del siguiente enlace.
http://www.paginasobrefilosofia.com/html/Diagramas%20de
%20Venn/example11/conclusion.htm
http://datateca.unad.edu.co/contenidos/551105/Modulo_exe_2013/capitulo_3_cuantificadores_y_
proposiciones_categricas.html