PENSAMIENTO LGICO Y MATEMTICO

UNIDAD 2 - PASO 2 - USO DE LAS TABLAS DE VERDAD

ESTUDIANTE

KAREN VIVIANA ECHVEZ VELASCO

1065.603.629

TUTOR: HERNN LUIS AGAMEZ.

GRUPO: _170

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

PROGRAMA PSICOLOGA
 RESPUESTA A LA ACTIVIDAD ETAPA N 1

Antes de entrar en materia o cuerpo del trabajo, hago un bosque o focalizacin de

la unidad N 2, que se trata sobre la tabla de la verdad es una herramienta creada
por CHARLES PIERCE en el ao 1880, siendo ms popular el formato creado por
LUDWIG, en su TRACTATUS LGICO PHILOSOPHICUS, publicado en 1921.,
se emplea en lgica para encontrar los valores de verdad de una expresin o
proposicin, molecular. o si un esquema de inferencia, como argumento es formal
mente valido.

Ejemplos:

NEGACIN CONJUNCIN BICONDICIONAL

A B A B
A

V V V V V F
V F

V F F V F V
F V

F V F F V V

F F F F F F
DISYUNCIN EXCLUSIVA TABLA DE LA VERDAD
1 2 3 4 5
A B
A B C B\/C A/\(B\/C)
V V V V V
V V V
V V F V V
V F V V V
V F F
V F F F F
F V V V F
F V F
F V F V F
F F V V F
F F V
F F F F F

CUANTIFICADORES

Los cuantificadores permiten afirmaciones sobre colecciones enteras de objetos en

lugar de tener que enumerar los objetos por su nombre.

CUANTIFICADOR UNIVERSAL

En una gran mayora de situaciones matemticas es interesante considerar la

posibilidad de que el conjunto de verdad de una funcin proposicional sea la
totalidad de los elementos del conjunto universo, llamado tambin conjunto
referencial (que se simboliza por U o R respectivamente), este se simboliza como x
que se lee: para todo x, todo x, para cada x o cada x y se llama cuantificador
universal. En este caso la proposicin se simboliza como (x U) P(x), que se lee:
para todo x elemento de U, se cumple P(x), y si el dominio de la variable est
sobreentendido, se escribe simplemente (x) P(x), que se puede leer como: para
todo x P(x), para cada x P(x) o bien para cualquier x P(x).
 CUANTIFICADOR EXISTENCIAL

En muchas otras situaciones matemticas es importante considerar la posibilidad

de que el conjunto de verdad de una funcin proposicional contenga al menos un
elemento del universo U; es decir, el conjunto de verdad no es el conjunto vaco.
Esto se simboliza como x que se lee: para algn x, existe x o existe al menos un
x tal que y se llama cuantificador existencial. La proposicin se escribe como (x U)
P(x), o bien (x) P(x) si el dominio de la variable est sobreentendido y que se lee
como: para algn x P(x), existe x tal que P(x) o existe al menos un x tal que P(x)
o bien hay un x tal que P(x).

PROPOSICIONES CATEGRICAS

Son afirmaciones acerca de categoras o clases. Toda proposicin categrica es un

enunciado acerca de los miembros de dos clases, y de relacin entre ellos. Por
ejemplo:

Ningn soltero es casado.

Algunos Mazda no son fabricados en Japn.

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

forma de lgica, conocida como aristotlica, tradicional, o de silogismos categricos.
Aristteles (384-322 a.C.) fue el primero en estudiar las formas de la argumentacin;
a l se le atribuye la invencin de la lgica como ciencia. La forma de argumentacin
que l identific y sistematiz usaba enunciados sujeto-predicado en un silogismo
(dos premisas y una conclusin). Debido a que esta fue la forma de lgica que, por
propsitos prcticos, se us hasta el siglo XIX, se conoce como lgica tradicional.
Porque fue trabajada primero por Aristteles, se le conoce como lgica aristotlica.
Finalmente, porque trata de los enunciados categricos en forma silogstica, se le
conoce como la lgica de los silogismos categricos.
Aunque la lgica moderna ha modificado la lgica tradicional y, de hecho, la ha
superado, vale la pena estudiar la silogstica categorial por dos razones. Primera,
porque la lgica tradicional ha jugado un papel importante en la historia del
pensamiento occidental. De hecho, es la lgica que la mayora de gente reconoce
como tal. Segunda, porque la silogstica categorial es un sistema deductivo
relativamente fcil y accesible. Emplea un nmero limitado de
formas proposicionales, y la validez de sus silogismos pueden ser comprobada sin
mayor dificultad tcnica. Ms an, uno encuentra silogismos categricos en el
lenguaje ordinario. De manera que empezaremos nuestro estudio de la lgica
deductiva con una versin actualizada del silogismo tradicional. Pero para hacer
esto, necesitamos estudiar la proposicin categrica primero.

LAS CUATRO CLASES DE PROPOSICIONES CATEGRICAS

Como se dijo antes, una proposicin categrica es un enunciado que relaciona dos
clases, o categoras. Las dos clases en cualquier proposicin categrica se colocan
en una relacin de sujeto-predicado. Algo es predicado, o dicho acerca de, un
sujeto. Lo que se dice es que una clase (el sujeto) est incluida o excluida de la
clase del predicado. As, para referirnos a uno de los ejemplos de arriba, "Ningn
soltero est casado" dice que la clase de los solteros (el sujeto) est completamente
excluida de la clase de los casados (el predicado). De manera semejante, decir que
todos los chimpancs son primates es afirmar que cualquier sujeto que sea un
chimpanc estar incluido en la clase de los primates (el predicado).

Existen cuatro clases de proposiciones categricas. Usando "S" y "P" como

smbolos, estas son:

Universal afirmativa: Todo S es P

Universal negativa: Ningn S es P

Particular afirmativo: Algn S es P

Particular negativo: Algn S no es P

Las palabras "todo" y "algn" se llaman "cuantificadores" porque indican la cantidad
del sujeto. Esto es, especifican cunto elemento de la clase del sujeto estn
incluidos en la clase del predicado. ("Ningn" indica cero miembros.) El verbo en
una proposicin categrica correctamente expresada, es siembre alguna forma del
verbo "ser", y se conoce como "cpula". Tenemos, entonces, el siguiente esquema:

Cuantificador: todo, ningn, algn

Sujeto: la clase que se incluye en o que se excluye de, el

predicado

Cpula: es, son. era, eran

Predicado: la clase de la cual el sujeto es o no es parte

Este anlisis, sin embargo, no indica claramente si una proposicin es afirmativa o

negativa en calidad. Una proposicin afirmativa es aquella que sostiene que el
sujeto est incluido en la clase del predicado; una negativa, aquella que afirma que
el sujeto est excluido del predicado. De manera que un esquema ms completo
agregara:

Cualificador negativo: no

Ya que las cuatro proposiciones categricas bsicas tienen un sujeto, un predicado

y una cpula, una forma de distinguirlas es pro su cantidad y cualidad. Cada
proposicin ser universal o particular (y se distinguir por la cantidad), y afirmativa
o negativa (y se distinguir por la calidad). De manera que podemos distinguir las
proposiciones como sigue:

Universal afirmativa: Todo S es P

Universal negativa: Ningn S es P

Particular afirmativo: Algn S es P

Particular negativo: Algn S no es P

El cuadrado de las oposiciones

Existe otra forma de distinguir estas cuatro proposiciones. Podemos poner en un

cuadrado de oposiciones. ste indica que la universal afirmativa y la particular
negativa son contradictorias, as como la universal negativa y la particular afirmativa.
Esto es, que, si una es verdadera, la otra debe ser falsa. Veamos la tabla:

AFIRMATIVA NEGATIVA
UNIVERSAL Todo S es P Ningn S es P

(o bien: Todo S es no P)

PARTICULAR Algn S es P Algn S no es P

Tradicionalmente, la proposicin universal afirmativa se llama "A", y la particular

afirmativa, "I" (por las dos primeras vocales en Affirmo). La universal negativa se
llama "E", y la particular negativa, "O" (por las dos vocales de Neg). Tenemos,
entonces, el siguiente cuadro:

AFIRMATIVA NEGATIVA

UNIVERSAL A E

PARTICULAR I O
ETAPA N 2

SITUACIONES PROBLMICAS - N 5

Daniela e Isabella son hermanas y el pasado fin de semana ocurri un suceso del cual el
pap y la mam desean saber en realidad como pasaron las cosas; Isabella dio su versin
a los padres; pero luego Daniela comenta lo siguiente: Es falso cuando mi hermana dice
que no es cierto que, ella estuvo en cine con su amiga Lorena o que estuvo en la biblioteca
estudiando para el parcial, o que estuvo en cine con Lorena o estuvo en el ensayo del
coro de la iglesia. Isabella mi hermana dice que estuvo en el ensayo del coro de la iglesia.
Mauricio un poco confundido por lo que dicen sus hijas, decide hacer algo que aprendi
en su formacin como matemtico y transforma en una expresin proposicional simblica
lo que dijo Daniela acerca de Isabella, para saber si es una incoherencia (la tabla de
verdad dara contingencia) o es falso (la tabla de verdad dar una contradiccin) o si es
una verdad (la tabla de verdad dara una tautologa). A qu conclusin llega Mauricio?

RESPUESTA: Es una CONTINGENCIA, Porque hay posturas verdaderas y falsa, se

entiende por CONTINGENCIA; Se entiende por verdad contingente, o verdad de hecho,
aquella proposicin que puede ser verdadera o falsa, (combinacin entre tautologa y
contradiccin) segn los valores de las proposiciones que la integran. Sea el
caso:
ETAPA N 3

SILOGISMO N 4
Ningn tratado de la Escuela Piagetiana puede ser del constructivismo.
Algunos estudios sobre la pedagoga pueden ser un enfoque del constructivismo.
Algunos estudios sobre la pedagoga no son Tratados de la Escuela Piagetiana.