USO DE TABLAS DE VERDAD

YENIFER XIOMARA OCAMPO

COD: 1120365076

TUTOR

SERGIO ANDRES TRUJILLO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

PENSAMIENTO LOGICO MATEMATICO

CIENCIAS BASICAS COD 200611_701

ACACIAS META

1 DE NOVIEMBRE DE 2017
 INTRODUCCION

la lgica, es una herramienta muy importante ya que nos ayuda a solucionar un sinfn de
problemticas, aplicando una serie de reglas, las cuales se basan en la aplicacin de una
serie de pasos lgicos, para poder realizar esto debemos desarrollar el pensamiento lgico
matemtico, que es el que nos permita poder tomar unas buenas decisiones, algunas de las
herramientas de las que se basa este es las tablas de verdad, que nos permite evaluar el
valor de verdad de una afirmacin, los silogismos y otros, es muy importante que
comprendamos los conceptos de la lgica matemtica, y sobre todo que desarrollemos un
pensamiento lgico matemtico adecuado, que nos permita poder tomar juicios de manera
acertada.
 OBJETIVO GENERAL

Comprender que es una tabla de verdad y su utilidad

OBJETIVOS ESPECIFICOS

Comprender que es una tautologa, cuna contradiccin y/o contingencia

Comprender que son los silogismos

Comprender como representar un silogismo en un diagrama de Ven

 https://wikimedia.org/api/rest_v1/media/math/render/svg/6ef36151ed63729b1b01e986d88
09556fa189ea3En filosofa y lgica, el trmino proposicin se usa para referirse a:

Las entidades portadoras de los valores de verdad.

Los objetos de las creencias y de otras actitudes proposicionales.
El significado de las oraciones declarativas o enunciativas, como el Sol es
una estrella.
Intuitivamente una proposicin expresa un contenido semntico a la que bajo
cierto procedimiento acordado o prescrito es posible asignarle un valor de verdad
(usualmente "verdadero" o "falso", aunque en lgica formal se admiten otros
valores de verdad diferentes).

Una proposicin es una cadena de signos expresados en un determinado

lenguaje. En un lenguaje natural, esos signos usualmente son sonidos o
caracteres escritos, mientras que un tipo de lenguaje formalizado pueden ser
signos arbitrarios. Dado que los lenguajes son tipos de estructuras combinatorias
que admitidamente pueden representar entidades de la realidad, se admite que las
proposiciones son cadenas de signos a las que es posible emparejar con objetos
reales. Es importante notar que lo que hace de una cadena de signos una
proposicin, es que sea interpretable (ya que existen por ejemplo cadenas de
signos u oraciones de un lenguaje que carecen de un referente o interpretacin
bien definidos).

En ese sentido una proposicin puede entenderse como un producto lgico del
pensamiento humano que expresada mediante una lengua natural, aunque
tambin existen lenguajes formales (como la notacin matemtica). Una
proposicin expresada en lenguaje natural deber ser una oracin gramatical o
como mnimo una oracin semnticamente no vaca, mientras que una
proposicin expresada en un lenguaje formal deber ser una cadena de signos
que constituya una frmula bien formada.

Anlisis lgico de las proposiciones

Si bien pueden estudiarse las proposiciones como elementos dados de los
cuales estudiar sus condiciones de verdad, es ms til analizar lgicamente las
proposiciones mediante diferentes enfoques :

Como la atribucin que se hace de una propiedad en tanto que predicado de

un sujeto gramatical. As ha sido considerada la proposicin lgica, como juicio de
trminos, en la lgica tradicional. Segn este modo de entender la proposicin
lgica, los trminos designan:
Sustancias existentes mediante un nombre propio, o
Conceptos que representan adecuadamente la realidad como esencias
abstradas por el entendimiento segn las categoras lgicas.
Suele simbolizarse como S es P.
Maximiliano corre es interpretada segn este punto de vista como
Maximiliano es un ser que est corriendo ahora, es decir, a Maximiliano, sujeto
lgico, se le atribuye un predicado: la accin de correr ahora como una propiedad
(correr) que se est realizando, (ahora), en Maximiliano y manifiesta un aspecto de
la identidad de Maximiliano en este momento; sobre la base de esa identidad es
posible la atribucin.
Tradicionalmente la lgica aristotlica consideraba de esta forma las
proposiciones lgicas. Este tipo de anlisis est claramente en desuso, pues
introduce el verbo ser como referencia a la realidad que, por definicin, es un
elemento extralgico.9 Por eso Aristteles consideraba la validez formal de sus
argumentos como silogismo categrico. Hoy da no se acepta dicha
argumentacin como categrica, lo que no quita nada a la validez formal del
silogismo. Hoy da la lgica aristotlica se interpreta como lgica de clases:10
Como la unin o separacin de clases que tienen o no tienen una propiedad
comn. Una clase es el concepto de una propiedad que puede definir o no a una
coleccin o conjunto de individuos. La clase tiene su sentido aun cuando no
existan individuos que pertenezcan a ella; pero los individuos que pertenecen a
ella estn de esta manera clasificados. La proposicin as analizada queda
definida como relacin entre clases.11 Una entidad es un conjunto cuando existe
una clase de la que es elemento.

La proposicin los perros son mamferos, se interpreta como la clase de los

mamferos incluye a la clase de los perros o dicho de otra forma: Todos los
individuos que pertenezcan a la clase de los perros pertenecern a la clase de los
mamferos. La clase ordena, clasifica todo universo, total o parcialmente definido,
en dos clases: dicha clase y su clase complementaria. Cualquier individuo del
universo se define por pertenecer o no pertenecer a una clase.

En el caso de Maximiliano, Maximiliano es una clase entera, universal, porque

nicamente est formada por un nico individuo: Maximiliano. El enunciado
anterior ha de leerse ahora como: "La clase Maximiliano=Maximiliano, pertenece a
la clase de los seres que corren".

El valor de verdad de las proposiciones atmicas parte de los individuos x, y, z,

etc. considerados nicamente como pertenecientes o no pertenecientes a una
clase.11 Los valores de verdad de las proposiciones moleculares y sus relaciones
con otras proposiciones surgen a partir de las relaciones y operaciones entre las
clases. La lgica de clases estudia dichas operaciones y sus conectivas lgicas.

En matemticas las clases se consideran como conjuntos y los individuos son

considerados como elementos:

Como esquema cuantificacional de un predicado que se afirma de un

argumento.
Maximiliano corre es ahora analizado como Fx en que el argumento x es
reemplazado por Maximiliano y F como predicado reemplaza a correr. Por lo
mismo F(x, y) cuando x es Maximiliano e y es Fernando. Para proposiciones
generales y particulares hay que utilizar cuantificadores Para todo x se
cumple Fx. As "[Todos los hombres] son mortales" se interepreta como "x es un
hombre" y F es "ser mortal". se interpreta com "Existe algn x en el que se
cumple Fx" o "Algunos hombres son mortales".

Como esquema relacional.

Pepe ama a Mara es ahora analizada como Rab, donde R es la relacin que
simboliza "amar a"; a es Pepe y b es Mara. Ntese que no es lo mismo que Rba,
pues sera Mara ama a Pepe.

Lo que da lugar a una lgica de relaciones. Los clculos pueden ser

eternamente infinitos segn consideremos las proposiciones y definamos las
reglas. Pero a la lgica le interesan aquellos que resultan tiles para ser aplicados
a un mbito especfico, capaces de generar modelos de interpretacin, bien sean
lingsticos o de otra clase. El llamado clculo de deduccin natural, es el ms
fcilmente ligado a la expresin lingstica habitual.

Proposicin en la lgica tradicional llamada aristotlica

Las proposiciones en la lgica aristotlica pueden ser afirmativas o negativas.
En lgica bivalente o lgica binaria, la negacin de una proposicin negativa
equivale a una afirmativa.

El predicado de una proposicin negativa est tomado en su extensin

universal, se refiere a todos. El predicado de una proposicin afirmativa est
tomado en su extensin particular, algunos.

Por su extensin, las proposiciones pueden clasificarse en universales, cuando

el sujeto est tomado en su extensin universal ("Todo S es P"), particulares,
cuando el sujeto est tomado en su extensin particular ("Algn S es P"). La
combinacin de ambos criterios da lugar a los siguientes tipos de proposiciones:

Universal afirmativa ("Todos los humanos son mortales").

Universal negativa ("Ningn humano es mortal").
Particular afirmativa ("Algunos planetas giran alrededor del Sol").
Particular negativa ("Algunos planetas no giran alrededor del Sol").
Existencial afirmativa ("Scrates existe").
Existencial negativa ("Scrates no existe").
Las proposiciones son los elementos a partir de los cuales se construyen los
razonamientos. La lgica aristotlica estudia los razonamientos segn un
esquema llamado silogismo.

Proposicin en lgica matemtica

La lgica matemtica estudia los sistemas formales, formados por conjuntos
de signos y reglas combinatorias definidas axiomticas, que son interpretables
semnticamente. La lgica matemtica suele dividirse en cuatro subcampos:
teora de modelos, teora de la demostracin, teora de conjuntos y teora de la
recursin. En lgica matemtica, la nocin fundamental es la de lenguaje formal,
un lenguaje formal viene definido por tres elementos:
 Un conjunto de smbolos o alfabetos, as como reglas combinatorias
que definen cuales son las expresiones vlidas del lenguaje (llamadas
frmulas bien formadas). Los axiomas son frmulas bien formadas
concretas que se dan como enumeracin explcita o como sistema
recursivamente enumerable.
Las reglas de inferencia, propias de cada sistema y explcitamente
definidas como reglas combinatorias entre proposiciones vlidas. Las
frmulas bien formadas y obtenidas recursivamente mediante reglas de
inferencias a partir de los axiomas se denominan teoremas del lenguaje
formal.
Un conjunto interpretaciones lgicas, que permite asignar valores de
verdad a diferentes proposiciones. Una interpretacin es una aplicacin
del conjunto de todas las frmulas bien formadas (proposiciones) en un
modelo. El valor de verdad cada proceso.

Crticas a la nocin de proposicin

Una cuestin planteada a propsito de las proposiciones es:
Es la proposicin algo ms que un enunciado expresado en un lenguaje
determinado?
Tradicionalmente en filosofa, se ha considerado que la verdad lgica es
independiente del lenguaje empleado para definirla y, por tanto, ha considerado,
que la proposicin representa la estructura lingstica como algo independiente de
los enunciados:
porque no habla del mundo;
porque las verdades lgicas nicamente representan una estructura
gramatical (sintaxis) que permite que cualquier sustitucin de sus
variables dar un resultado tautolgico, como verdad obvia.
Los que consideran que la verdad nicamente es aplicable al mundo y a los
enunciados directamente, sin tener que llegar a la fusin de la lgica con el
lenguaje, consideran la proposicin como un artilugio conceptual intil:

La gramtica, como estructura sintctica, es un asunto del lenguaje.

pero tambin el lxico
y, cuando hablamos, hablamos del mundo y para ello tenemos que
utilizar el lxico
y la verdad es un asunto del mundo
Ciertamente la verdad lgica se ha de mantener, como verdad, a travs de
todas las sustituciones lxicas, y no depende de los rasgos del mundo que se
expresan mediante el lxico. Pero:

no puede depender de otros rasgos del mundo, de rasgos que nuestro

lenguaje refleje en sus construcciones gramaticales, y no en su lxico? No tendra
ningn inters objetar aqu que la gramtica vara de un lenguaje a otro, porque lo
mismo le pasa al lxico. Tal vez las verdades lgicas deban su verdad a ciertos
rasgos de la realidad que se reflejan de un modo en la gramtica de nuestro
lenguaje, de otro modo en la gramtica de otro lenguaje, y de otro modo en la
combinacin de la gramtica y el lxico de un tercer lenguaje.
Lo que tal vez nos remita a la nocin de la creencia como evidencia, anterior a
la mera constitucin del signo y su articulacin lingstica.

Tipos de proposiciones
En adelante cuando hablemos de proposiciones, stas sern lgicas. Si son
abiertas, significar que el conjunto de sustituciones est bien definido y la harn
verdadera o falsa. Para operar con las proposiciones, stas se clasifican en dos
tipos: Simples y Compuestas, dependiendo de cmo estn conformadas.
Proposiciones Simples
Son aquellas que no tienen oraciones componentes afectadas por negaciones
("no") o trminos de enlace como conjunciones ("y"), disyunciones ("o") o
implicaciones ("si . . . entonces"). Pueden aparecer trminos de enlace en el sujeto
o en el predicado, pero no entre oraciones.
Proposiciones Compuestas
Una proposicin ser compuesta si no es simple. Es decir, si est afectada por
negaciones o trminos de enlace entre oraciones componentes.
Ejemplos
Ensayemos una lista clasificada y luego algunas aclaraciones:
1) Carlos Fuentes es un escritor. (Simple)
2) Sen(x) no es un nmero mayor que 1. (Compuesta)
3) El 14 y el 7 son factores del 42. (Simple)
4) El 14 es factor del 42 y el 7 tambin es factor del 42. (Compuesta)
5) El 2 o el 3 son divisores de 48. (Simple)
6) El 2 es divisor de 48 o el 3 es divisor de 48. (Compuesta)
7) Si x es nmero primo, entonces x impar. (Compuesta)
8) Si x > 10, entonces 2x - 3 > 16. (Compuesta)
9) No todos los nmeros primos son impares. (Compuesta)

Algunas aclaraciones
a) No obstante que los ejemplos 3) y 4) gramaticalmente significan lo mismo,
operativamente se consideran distintos. Similarmente 5) y 6).
b) A veces proposiciones como la 8), aparecen escritas de la forma: 2x - 3 > 16, si
x > 10.

Una tabla de verdad, o tabla de valores de verdad, es una tabla que

muestra el valor de verdad de una proposicin compuesta, para cada combinacin
de verdad que se pueda asignar.
Fue desarrollada por Charles Sanders Peirce por los aos 1880, pero el
formato ms popular es el que introdujo Ludwig Wittgenstein en su Tractatus
logico-philosophicus, publicado en 1921

Para establecer un Sistema formal se establecen las definiciones de

los operadores. Las definiciones se harn en funcin del fin que se pretenda al
construir el sistema que haga posible la formalizacin de argumentos:
Como razonamientos deductivos lgico-lingsticos
 Como construccin de un sistema matemtico puro
Como una aplicacin lgica en
un Circuito de conmutacin.

Verdadero
El valor verdadero se representa con la
letra V; si se emplea notacin numrica se
expresa con un uno: 1; en un circuito
elctrico, el circuito est cerrado.

Falso
El valor falso se representa con la
letra F; si se emplea notacin numrica se
expresa con un cero: 0; en un circuito
elctrico, el circuito est abierto.

Variable
Para una variable lgica A, B, C, ...
pueden ser verdaderas V, o falsas F, los
operadores fundamentales se definen as:

Negacin
La negacin es un operador que se
ejecuta, sobre un nico valor de verdad,
devolviendo el valor contradictorio de la
proposicin considerada.

Conjuncin
La conjuncin es un
operador, que acta sobre
dos valores de verdad,
tpicamente los valores de
verdad de dos
proposiciones,
devolviendo el valor de
verdad verdadero cuando ambas proposiciones son verdaderas, y falso en
cualquier otro caso. Es decir, es verdadera cuando ambas son verdaderas
La tabla de verdad de la conjuncin es la siguiente:

Que se corresponde con la columna 8 del algoritmo fundamental.

en simbologa "^" hace referencia a el conector "y"
Disyuncin
 La disyuncin es
un operador lgico que
acta sobre dos
valores de verdad,
tpicamente los valores
de verdad de dos
proposiciones,
devolviendo el valor de
verdad verdadero cuan
do una de las
proposiciones es
verdadera, o cuando ambas lo son, y falso cuando ambas son falsas.
La tabla de verdad de la disyuncin es la siguiente:

Que se
corresponde con la
columna 2 del
algoritmo
fundamental.

Implicacin o
Condicional
El condicional
material es un
operador que acta
sobre dos valores
de verdad,
tpicamente los
valores de verdad de dos proposiciones, devolviendo el valor de falso slo cuando
la primera proposicin es verdadera y la segunda falsa, y verdadero en cualquier
otro caso.
La tabla de verdad del condicional material es la siguiente:

Que se
corresponde
con la columna
5 del algoritmo
fundamental.

Equivalenc
ia, doble
implicacin o
Bicondicional
 El bicondicional o doble implicacin es un operador que funciona dando el
valor de verdad cuando ambos valores son iguales y dando el valor de falsedad
cuando ambos valores son diferentes La tabla de verdad del bicondicional es la
siguiente:

Que se corresponde con la columna 7 del algoritmo fundamental.

Nmero de combinaciones
Partiendo de un nmero n de variables, cada una de las cuales puede tomar el
valor verdadero: V, o falso: F, por Combinatoria, podemos saber que el nmero
total de combinaciones: Nc, que se pueden presentar es:

el nmero de combinaciones que se pueden dar con n variable, cada una de

las cuales puede tomar uno entre dos valores lgicos es de dos elevado a n, esto
es, el nmero de combinaciones: Nc, tiene crecimiento exponencial respecto al
nmero de variable n:

Si consideramos que un sistema combinacional de n variables binarias, puede

presentar un resultado verdadero: V, o falso: F, para cada una de las posibles
combinaciones de entrada tenemos que se pueden construir Cp circuitos posibles
con n variables de entrada, donde:

Que da como resultado la siguiente tabla:

Para componer una tabla de verdad, pondremos las n variables en una lnea
horizontal, debajo de estas variables desarrollamos las distintas combinaciones
que se pueden formar con V y F, dando lugar a las distintas Nc, nmero de
combinaciones. Normalmente solo se representa la funcin para la que se
confecciona la tabla de verdad, y en todo caso funciones parciales que ayuden en
su clculo, en la figura, se pueden ver todas las combinaciones posibles Cp, que
pueden darse para el nmero de variables dado.

As podemos ver que para dos variables binarias: A y B, n= 2 , que pueden

tomar los valores V y F, se pueden desarrollar cuatro combinaciones: Nc= 4, con
estos valores se pueden definir diecisis resultados distintos, Cp= 16, cada una de
las cuales sera una funcin de dos variables binarias. Para otro nmero de
variables se obtendrn los resultados correspondientes, dado el crecimiento
exponencial de Nc, cuando n toma valores mayores de cuatro o cinco, la
representacin en un cuadro resulta compleja, y si se quiere representar las
combinaciones posibles Cp, resulta ya complejo para n= 3.

Para
cero
variables
Un
circuito
sin
variables,
puede
presentar
una
combinacin posible: Nc=1, con dos circuitos posibles: Cp=2. Que seran el
circuito cerrado permanentemente, y el circuito abierto permanentemente.
1 2

V F
En este caso se puede ver dos funciones con cero variables, caso 1 y 2, que
no interviene ninguna variable.
Cada uno de estos circuitos admite una nica posicin y hay dos circuitos
posibles.

Para una variable

El caso de una variable binaria, que puede presentar dos combinaciones
posibles: Nc=2, con 4 circuitos posibles: Cp=4.
1 2 3 4

V V V F F
F V F V F
Se pueden ver las cuatro funciones, de una variable, del caso 1 al 4,
siendo A la variable. Puede verse que:

Para dos variables

Considrese dos variables proposicionales A y B.2 Cada una puede tomar uno
de dos valores de verdad: o V (verdadero), o F (falso). Por lo tanto, los valores de
verdad de A y de B pueden combinarse de cuatro maneras distintas: o ambas son
verdaderas; o A es verdadera y B falsa, o A es falsa y B verdadera, o ambas son
falsas. Esto puede expresarse con una tabla simple:

Considrese adems a "" como una operacin o funcin lgica que realiza
una funcin de verdad al tomar los valores de verdad de A y de B, y devolver un
nico valor de verdad. Entonces, existen 16 funciones distintas posibles, y es fcil
construir una tabla que muestre qu devuelve cada funcin frente a las distintas
combinaciones de valores de verdad de A y de B.
1 2 3 4 5 6 7 8

A B

V V V V V V V V V V
V F V V V V F F F F
F V V V F F V V F F
F F V F V F V F V F
9 10 11 12 13 14 15 16

A B

V V F F F F F F F F
V F V V V V F F F F
F V V V F F V V F F
F F V F V F V F V F
Las dos primeras columnas de la tabla muestran las cuatro combinaciones
posibles de valores de verdad de A y de B. Hay por lo tanto 4 lneas, y las 16
columnas despliegan todos los posibles valores que puede devolver una funcin.
De esta forma podemos conocer mecnicamente, mediante algoritmo, los
posibles valores de verdad de cualquier conexin lgica interpretada
como funcin, siempre y cuando definamos los valores que devuelva la funcin.
Se hace necesario, pues, definir las funciones que se utilizan en la confeccin
de un sistema lgico.

Tablas de verdad
Las tablas nos manifiestan los posibles valores de verdad de cualquier
proposicin molecular, as como el anlisis de la misma en funcin de las
proposiciones que la integran, encontrndonos con los siguientes casos:
 Verdad Indeterminada o Contingencia
Se entiende por verdad contingente, o verdad de hecho, aquella proposicin
que puede ser verdadera o falsa, segn los valores de las proposiciones que la
integran. Sea el caso: A ^ (B V C).
Su tabla de verdad se construye de la siguiente manera:
Ocho filas que responden a los casos posibles que pueden darse segn el
valor V o F de cada una de las proposiciones A, B, C. (Columnas 1, 2, 3)
Una columna (Columna 4) en la que se establecen los valores de B V
C aplicando la definicin del disyuntor a los valores de B y de C en cada una de
las filas.(Columnas 2,3 4)
Una columna (columna 5) en la que se establecen los valores resultantes de
aplicar la definicin de la conjuncin entre los valores de A (columna 1) y valores
de la columna B V C, (columna 4) que representarn los valores de la proposicin
completa A ^ (B V C)., cuyo valor de verdad es V o F segn la fila de los valores
de A, B, y C que consideremos. (Columnas 1,4 5)
Donde podemos comprobar cundo y por qu la proposicin A ^ (B V
C). es V y cundo es F.

Contradiccin

Se entiende por proposicin contradictoria, o contradiccin, aquella

proposicin que en todos los casos posibles de su tabla de verdad su valor
siempre es F. Dicho de otra forma, su valor F no depende de los valores de verdad
de las proposiciones que la forman, sino de la forma en que estn establecidas
las relaciones sintcticas de unas con otras. Sea el caso:
 Procederemos de manera similar al caso anterior. Partiendo de la variable A y
su contradiccin, la conjuncin de ambos siempre es falso, dado que si A es
verdad su contradiccin es falsa, y si A es falsa su contradiccin es verdad, la
conjuncin de ambas da falso en todos los casos.

Tautologas

Se entiende por proposicin tautolgica, o tautologa, aquella proposicin que

en todos los casos posibles de su tabla de verdad su valor siempre es V. Dicho de
otra forma, su valor V no depende de los valores de verdad de las proposiciones
que la forman, sino de la forma en que estn establecidas las relaciones
sintcticas de unas con otras. Sea el caso:

Siguiendo la mecnica algortmica de la tabla anterior construiremos su tabla

de verdad, tenemos la variable A en disyuncin con su contradiccin, si A es
verdad, su negacin es falsa y si A es falsa su negacin es verdad, en cualquier
caso una de las dos alternativas es cierta, y su disyuncin es cierta en todos los
casos.

Tablas de verdad, proposiciones lgicas y argumentos deductivos

En realidad toda la lgica est contenida en las tablas de verdad, en ellas se
nos manifiesta todo lo que implican las relaciones sintcticas entre las diversas
proposiciones.
No obstante la sencillez del algoritmo, aparecen dos dificultades.
La gran cantidad de operaciones que hay que hacer para una proposicin
con ms de 4 variables.
Esta dificultad ha sido magnficamente superada por la rapidez de los
ordenadores, y no presenta dificultad alguna.
Que nicamente ser aplicable a un esquema de inferencia,
o argumento cuando la proposicin condicionada, como conclusin, sea
previamente conocida, al menos como hiptesis, hasta comprobar que su tabla de
verdad manifiesta una tautologa.
Por ello se construye un clculo mediante cadenas deductivas:
Las proposiciones que constituyen el antecedente del esquema de inferencia,
se toman como premisas de un argumento.
 Se establecen como reglas de clculo algunas tautologas como tales leyes
lgicas, (pues garantizan, por su carcter tautolgico, el valor V).
Se permite la aplicacin de dichas reglas como reglas de sustitucin de
frmulas bien formadas en las relaciones que puedan establecerse entre dichas
premisas.
Deduciendo mediante su aplicacin, como teoremas, todas las conclusiones
posibles que haya contenidas en las premisas.
Cuando en un clculo se establecen algunas leyes como principios o axiomas,
el clculo se dice que es axiomtico.
El clculo lgico as puede utilizarse como demostracin argumentativa.

CUANTIFICADORES

Cuando se habla de cuantificadores en trminos de Lgica, Teora de Conjuntos o

Matemticas en general, se hace referencia a aquellos smbolos que se utilizan
para indicar cantidad en una proposicin, es decir, permiten establecer cuntos
elementos de un conjunto determinado, cumplen con cierta propiedad.

Los cuantificadores permiten la construccin de proposiciones a partir de

funciones proposicionales, bien sea particularizando o generalizando. Por ejemplo,
si consideramos la funcin proposicional:

P(x) = x es menor que dos

Esto podra particularizarse as: Existe un nmero real que es menor que dos o
generalizarlo diciendo: Todos los nmeros reales son menores que dos.

En cualquiera de los dos casos, se especifica un conjunto donde est tomando

valores la variable, para nuestro ejemplo, el conjunto de los nmeros reales.

Para notar la particularizacin y la generalizacin, se utiliza la siguiente

simbologa, respectivamente:

que se lee: existe un equis que pertenece a erre (a los reales), tal que equis es
menor que dos

Mientras que

se lee: para todo equis que pertenece a erre (a los reales), se cumple que equis
es menor que dos
El smbolo (para todo) se denomina cuantificador universal, y el smbolo
(existe al menos un) se denomina cuantificador existencial.

As, un cuantificador transforma una funcin proposicional, en una proposicin a la

cual se le asigna un valor de verdad.

Los cuantificadores ms utilizados son entonces:

CUANTIFICADOR UNIVERSAL (para todo): se utiliza para

afirmar que TODOS los elementos de un conjunto, cumplen con una
condicin o propiedad determinada. Esto se expresa como:

CUANTIFICADOR EXISTENCIAL (existe al menos un): se

utiliza para indicar que existen uno o ms elementos en el conjunto A que
cumple(n) con una condicin o propiedad determinada.

CUANTIFICADOR EXISTENCIAL NICO (existe un nico): se

utiliza para indicar que existe exactamente un elemento en el conjunto A
que cumple con una condicin o propiedad determinada.

NEGACIN DE PROPOSICIONES CON CUANTIFICADORES

Sea p(x) una funcin proposicional con extensin A, entonces:

En lgica, una proposicin categrica, o declaracin categrica, es una

proposicin que afirma o niega que todos o algunos de los miembros de una
categora (el trmino sujeto) estn incluidos en otra (el trmino predicado). El
estudio de los argumentos usando afirmaciones categricas (es decir estoy en tu
corazn , silogismos) constituye una rama importante de razonamiento deductivo,
que comenz con los antiguos griegos.

Los antiguos filsofos griegos, como Aristteles, identificaron cuatro tipos

distintos primarios de proposicin categrica y le dieron formas estndar (ahora
muchas veces denominadas A, E, I y O). Si, de manera abstracta, la categora de
sujeto es nombrada S y la categora de predicados es nombrada P, las cuatro
formas estndares son:

Todo S es P. (Forma A)
Ningn S es P. (Forma E)
Algn S es P. (Forma I)
Algn S no es P. (Forma O)

Un nmero sorprendentemente grande de frases puede traducirse en una de

estas formas cannicas, conservando la totalidad o la mayor parte del significado
original de la frase. Las investigaciones griegas dieron como resultado el llamado
cuadrado de oposicin, que codifica las relaciones lgicas entre las diferentes
formas; por ejemplo, que una sentencia A es contradictoria con una sentencia-O;
es decir, por ejemplo, si uno cree que "Todas las manzanas son frutos rojos," uno
no puede creer al mismo tiempo que "Algunas manzanas no son frutos rojos." As,
las relaciones de la plaza de la oposicin pueden permitir la inferencia inmediata,
por lo que la verdad o falsedad de una de las formas pueden seguir directamente
de la verdad o falsedad de un comunicado en otra forma.

El entendimiento moderno de proposiciones categricas (originado con la obra

de mediados del siglo XIX de George Boole) requiere que se considere si la
categora de sujeto puede estar vaca. Si es as, se denomina punto de vista
hipottico, en oposicin al punto de vista existencial que requiere la categora
objeto de tener por lo menos un miembro. El punto de vista existencial es una
postura ms fuerte que la hipottica y, cuando es apropiado tomar, le permite
deducir ms resultados que de otro modo se podra hacer. El punto de vista
hipottico, siendo el punto de vista ms dbil, tiene el efecto de eliminar algunas
de las relaciones presentes en el cuadrado de oposicin tradicional.

Los argumentos que constan de tres proposiciones categricas dos como

premisas y uno como conclusin son conocidos como silogismos categricos y
fueron de suma importancia desde los tiempos de los lgicos de la antigua Grecia
pasando por la Edad Media. Aunque los argumentos formales que utilizan
silogismos categricos han llevado a incrementar la potencia expresiva de
sistemas lgicos modernos, como el clculo de predicados de primer orden,
conservan an un valor prctico, adems de su importancia histrica y
pedaggica.

Propiedades de las proposiciones categricas

Las proposiciones categricas pueden ser clasificadas en cuatro tipos en
funcin de su "calidad" y "cantidad", o de su "distribucin de trminos". Estos
cuatro tipos a largo han sido nombrados A, E, I y O. Esto se basa en el latn afirm
(Yo afirmo), refirindose a las proposiciones afirmativas A y I, y neg (Yo niego),
refirindose a las proposiciones negativas E y O.2

Cantidad y calidad
Cantidad refiere al monto de miembros de la clase sujeto que son utilizados en
la proposicin. Si la proposicin se refiere a todos los miembros de la clase sujeto,
este es universal. Si la proposicin no emplea a todos los miembros de la clase
sujeto, este es particular. Por ejemplo, un I-proposicin ("Algunos S son P") es
especial, puesto que solo se refiere a algunos de los miembros de la clase sujeto.

Calidad se refiere a si la proposicin afirma o niega la inclusin de un sujeto

dentro de la clase del predicado. Las dos cualidades posibles se llaman afirmativa
y negativa.3 Por ejemplo, una proposicin A ("Todo S es P") es afirmativa, ya que
afirma que el sujeto est contenido dentro del predicado. Por otro lado, una
proposicin O ("Algunos S no son P") es negativo ya que excluye al sujeto del
predicado.

Nombre Declaracin Cantidad Calidad

A Todo S es P. universal afirmativo
E Ningn S es P. universal negativo
I Algn S es P. particular afirmativo
O Algn S no es P. particular negativo

Una consideracin importante es la definicin de la palabra algn. En lgica,

algn se refiere a "uno o ms", lo que podra significar "todos". Por lo tanto, la
afirmacin "Algn S son P" no garantiza que la declaracin "Algn S no son P"
tambin sea cierta.

Distributividad
Los dos trminos (sujeto y predicado) en una proposicin categrica pueden
ser clasificados como distribuido o no distribuidos. Si todos los miembros de la
clase del trmino se ven afectados por la proposicin, esa clase es distribuida; de
lo contrario, es no distribuida. Por lo tanto, toda proposicin tiene una de cuatro
posibles distribuciones de trminos.

Cada una de las cuatro formas cannicas ser examinada por separado, en
relacin a su distribucin de trminos. Aunque aqu no se desarrolle, los
diagramas de Venn son muchas veces tiles cuando se trata de entender la
distribucin de trminos para las cuatro formas.
Forma A

Una proposicin A distribuye el sujeto al predicado, pero no a la inversa.

Considere la siguiente proposicin categrica: "Todos los perros son mamferos".
Todos los perros son ciertamente mamferos, pero sera falso decir que todos los
mamferos son perros. Dado que todos los perros se incluyen en la clase de los
mamferos, "perros" se dice ser distribuido a "mamferos". Dado que todos los
mamferos no son necesariamente perros, "mamferos" es no distribuido de
"perros".
Forma E

Una proposicin E distribuye de forma bidireccional entre el sujeto y el

predicado. Desde la proposicin categrica "Ningn escarabajo es mamfero",
podemos inferir que ningn mamfero es escarabajo. Dado que todos los
escarabajos son definidos no siendo mamferos, y todos los mamferos se definen
no siendo escarabajos, ambas clases son distribuidas.
Forma I

En una proposicin I, ambos trminos son no distribuidas. Por ejemplo,

"Algunos estadounidenses son conservadores". Ninguno de los trminos se puede
distribuir enteramente al otro. A partir de esta proposicin no es posible decir que
todos los estadounidenses son conservadores o que todos los conservadores son
estadounidenses.
Forma O

En una proposicin O, solo se distribuye el predicado. Considere lo siguiente:

"Algunos polticos no son corruptos". Dado que no todos los polticos son definidos
por esta regla, el sujeto es no distribuido. Sin embargo, el predicado se distribuye
porque todos los miembros de la "gente corrupta" no coincidirn con el grupo de
personas definidas como "algunos polticos". Dado que la regla se aplica a todos
los miembros del grupo de los corruptos, a saber, "todas las personas corruptas no
son algunos polticos", el predicado es distribuido.

La distribucin del predicado en una proposicin O a veces puede resultar

confusa, debido a su ambigedad. Cuando se dice que una declaracin como
"Algunos polticos no son corruptos" para distribuir la "gente corrupta" del grupo a
"algunos polticos", la informacin parece de poco valor ya que el grupo "algunos
polticos" no est definido. Pero si, como ejemplo, este grupo de "algunos
polticos" se define para contener una sola persona, Albert, la relacin se vuelve
ms clara. La declaracin sera entonces quiere decir, por cada entrada que
aparece en el grupo de gente corrupta, ni uno de ellos ser Albert: "todas las
personas corruptas no son Albert". Esta es una definicin que se aplica a todos los
miembros de la "gente corrupta" del grupo, y por lo tanto es distribuido.
Resumen
En resumen, para el sujeto a ser distribuido, la declaracin debe ser universal
(por ejemplo, "todos", "Ningn"). Para el predicado a distribuir, la declaracin debe
ser negativa (por ejemplo, "no", "Ningn").

Distribucin
Nombre Sentencia
Sujeto Predicado
A Todo es S es P. distribuido no
 distribuido
E Ningn S es P. distribuido distribuido
no no
I Algn S es P.
distribuido distribuido
Algn S no es no
O distribuido
P. distribuido

Critica
Peter Geach y otros autores han criticado el uso de la distribucin para
determinar la validez de un argumento. Se ha sugerido que las declaraciones de la
forma "Algn A no es B" sera menos problemtico si se estableciera como "No
todo A es B", que es tal vez una traduccin ms cercana a la forma original de
Aristteles para este tipo de declaracin.

Operaciones en declaraciones categricas

Hay varias operaciones (por ejemplo, conversin, obversin y contraposicin)
que se pueden realizar en una declaracin categrica de cambiarlo a otra. La
nueva declaracin puede o no ser equivalente a la original. [En las siguientes
tablas que ilustran este tipo de operaciones, las filas con declaracin equivalente
se marcarn con verde, mientras que aquellos con estados no equivalentes se
marcarn con rojo.]

Algunas operaciones requieren la nocin del complemento de clase. Esto se

refiere a todos los elementos bajo consideracin que no es un elemento de la
clase. Los complementos de clase son muy similares a los complemento de un
conjunto. El complemento de clase de un conjunto P se llama "no-P".

Conversin

La operacin ms simple es la conversin, donde se intercambian los trminos

sujeto y predicado.

Conversin Conversin
Nombre Declaracin Conversin per por
accidens obversin
Algn P es Ningn P es
A Todo S es P Todo P es S
S no S
Ningn S es Ningn P es Algn P es Todo P es
E
P S no S no S
Algn S es Algn P es Algn P no
I N/A
P S es no S
Algn S es Algn S es Algn P es
O N/A
P P no S
 Obversin
La obversin cambia la calidad (que es la afirmatividad o negatividad) de la
declaracin y el trmino predicado.9 Por ejemplo, una declaracin universal
afirmativa se convertira en una declaracin negativa universal
Nombre Conversin Obversin
A Todo S es P Ningn S es no P
E Ningn S es P Todo S es no P
I Algn S es P Algn S no es no P
O Algn S no es P Algn S es no P

Las declaraciones categricas son lgicamente equivalentes a su anverso.

Como tal, un diagrama de Venn que ilustre una alguna de las formas sera idntico
al diagrama de Venn que ilustra su anverso.

Contraposicin
Contraposicin Contraposicin
Nombre Declaracin Contraposicin
per accidens obvertida
Todo no P es no Ningn no P es
A Todo S es P N/A
S no S
Ningn S es Ningn no P es Algn no P no
E Todo no P es S
P no S. es no S.
Algn S es Algn no P es Algn no P no
I N/A
P no S es S
Algn S no Algn no P no Algn S no es
O N/A
es P es no S P.

SILOGISMO CATEGORICO

Es un razonamiento de consta de dos premisas y una conclusin. Donde las

premisas y la conclusin son proposiciones categricas.

En el silogismo categrico intervienen tres trminos.

1. El menor
2. El medio
3. El mayor

Cada uno de los cuales presenta en dos de las proposiciones que lo

constituyen.
 El sujeto de la conclusin se llama trmino menor del silogismo.
El predicado de la conclusin se llama trmino mayor del silogismo.
El trmino que no aparece en la conclusin pero aparece en las dos
premisas, se llama trmino medio.

Ejemplo: En el siguiente silogismo identificar las premisas, la conclusin, el

trmino menor, mayor y medio.

Todos los hombres son racionales.

Algunos hombres son inconmovibles.

Por lo tanto, algunos seres racionales son conmovibles

Solucin: Para identificar los elementos de un silogismo se tiene en cuenta

los siguientes aspectos:

La expresin que aparece predicada por la expresin por lo tanto: es

la conclusin del silogismo, y se identifica el sujeto y el predicado y se
obtiene el trmino menor y mayor.
El trmino medio es aquel que no se presenta en la conclusin sino
en las premisas.

PREMISAS:

Todos los hombres son seres racionales.

Algunos hombres son inconmovibles.

Hombres: trmino medio.

CONCLUSIN:

Por lo tanto, algunos seres racionales son inconmovibles.

Seres racionales: Trmino menor.

Inconmovibles: Trmino mayor.

Para abreviar utilizaremos:

s = trmino menor.
p = trmino mayor.
m = trmino medio.

Ejemplos:
 1. Todo beato es partidario de la censura , ningn comediante es
partidario de la censura, por lo tanto, algunos comediantes son beatos.
2. Todo filsofo griego vivi en Atenas, Platn fue un filsofo griego, por
lo tanto, Platn vivi en Atenas.
3. Cada alumno que ha hecho su trabajo entiende el problema, Daniel
es un alumno que no entiende el problema, por lo tanto, Daniel no ha hecho
su trabajo.
4. Todo cuerpo tiene masa y posee fuerza de atraccin, la tierra tiene
masa, por lo tanto, la tierra tiene fuerza de atraccin.

FORMA TPICA D E UN SILOGISMO

Un silogismo est escrito en forma tpica cuando se expresa primero la

premisa que contiene el trmino mayor, luego la premisa que contiene el trmino
menor y finalmente la conclusin.

La premisa mayor contiene a P.(Predicado)

La premisa menor contiene a S. (Sujeto)

Ejemplo: Escribir en forma tpica el silogismo.

Como todos los artistas son msicos y algunos artistas son famosos; algunos
msicos son famosos.

Como todos los artistas (m) son msicos (s) y algunos artistas son famosos,
entonces algunos msicos son famosos (p).

m = Artistas > premisa mayor : M -P

p = Famosos -> premisa menor; M S
s = Msicos -> conclusin S P

En cada uno de los siguiente silogismos, identificar los trminos s , p , m.

Identificar la premisa mayor y la premisa menor expresndolo en forma tpica.

1. Todos los libros buenos son divertidos (m), ningn libro de guerra (s)
es divertido (m), por lo tanto, ningn libro de guerra (s) es bueno (p).
2. Todos los militares (s) son partidarios de la fuerza (m)y violencia,
todos los anarquistas (p) son partidarios de la fuerza y la violencia (p), luego
los militares (s) son anarquistas (p).

REGLA DE LOS TRMINOS DE LOS SILOGISMOS

1. Un silogismo ha de tener tres y slo tres trminos.

2. El trmino medio ha de ser tomado al menos en una de la premisas
universalmente.
 3. El trmino medio no puede figurar en la conclusin.
4. Los trminos menos y mayor no pueden tener en la conclusin mayor
cantidad que las que tienen en las premisas.

Ejemplo:

Todos los tolimenses son colombianos, es as, que ningn pastuso es

tolimense, luego ningn pastuso es colombiano.

OBSERVACIN: La cantidad afecta al sujeto y el predicado de una

proposicin si la proposicin tiene cantidad todos a algunos el sujeto S tambin
tendr esa cantidad. Si la proposicin tiene calidad afirmativa a negativa el
predicado ser particular si es afirmativa o universal si es negativa.

Se determina el siguiente esquema:

Todo S es P

1. S Universal
2. P Particular

Ningn S es P

1. S Universal
2. P Universal

Algn S es P

1. S Particular
2. P Particular

Algn S no es P

1. S Particular
2. P Universal
 REGLAS DE PROPOSICIONES CATEGRICAS

1. Si las dos premisas de un silogismo son afirmativas, la conclusin no

puede ser negativa. Ejemplo: Todo delito merece castigo, Es as que todo
secuestro es delito, luego ningn (todo) secuestro merece castigo.
2. De dos premisas negativas no se puede sacar ninguna conclusin.
Ejemplo: Ningn perro es volador, es as que ningn volador es
cuadrpedo, luego ningn perro es cuadrpedo.
3. De dos premisas particulares no se puede sacar ninguna conclusin.
Ejemplo: Algunos costeas son modelos, es as que algunos costeas son
monjas, luego algunas monjas
son costeas.
El trmino medio costea no se puede sacar como
conclusin.
4. La conclusin sigue a la premisa de peor condicin. As:

Es decir, si una de las premisas es negativa, la conclusin debe ser negativa.

Si una de las premisas es particular, la conclusin no podr ser universal. Ejemplo:
Todos los renos tienen cuernos, es as que algunos rumiantes tienen cuernos,
luego todos los (algunos) rumiantes tienen cuernos.

OBSERVACIONES:

El trmino medio no siempre ocupa la misma posicin, y al cambiar de

posicin, cambia tambin el sujeto S y el predicador P formando las siguientes
figuras:

El trmino medio hace de sujeto en P1 y de predicado en P2.

Esquema:

Ejemplo: Todos los hombres son mortales (p), es as que los pastusos (s) son
hombres (m), luego los pastusos (s) son mortales (p).
 El trmino medio hace de predicado en P1 y de predicado en P2.

Ejemplo: Ningn colombiano (p) es venezolano (M), es as que los cariocas (s)
son venezolanos (m), luego ningn carioca (s) es colombiano (p)

Esquema:

El trmino medio hace de sujeto en ambas premisas.

Ejemplo: todos los poetas (m) son romnticos (p), es as que algunos poetas
(m)son profesores (s), luego algunos profesores (s) son romnticos (p).

Esquema:

El trmino medio es la primera premisa hace de predicado y en la

segunda hace de sujeto.

Scrates, Kant, Hegel (p) son filsofos (m), es as que todo filsofo (m) es raro
(s), luego algunos raros (s) son Scrates (p).

Esquema:
 https://prezi.com/view/fuKrQKD4eJSCHmQ67Cee/

La UNAD ofrece a sus estudiantes diferentes maneras de recibir

asesora acadmica por parte de los docentes para resolver las
inquietudes que se suscitan frente al desarrollo de las actividades en los
cursos. Laura est matriculada en el curso Pensamiento Lgico y
Matemtico; ella ha presentado una baja calificacin en la actividad del
Paso 1, denominada como Operatividad entre Conjuntos. Por lo anterior,
scar el Director del Curso ha solicitado a Leonardo, quien es el
docente asignado, un informe del desempeo de Laura; un fragmento
del informe que ha presentado Leonardo expresa lo siguiente: si
Laura no asiste al desarrollo de los CIPAS, entonces, si Laura no asiste a
las webconference acadmicas y asiste al desarrollo de CIPAS, entonces
Laura no asiste al desarrollo de CIPAS y asiste a la actividad B-
Learning.
Transforma este fragmento del informe dado por Leonardo en lenguaje
formal, realiza las respectivas tablas de verdad e indica si es tautologa,
contradiccin o contingencia. Adems debes hacer la comprobacin con
el uso del simulador TRUTH.
P= Laura asiste al desarrollo de CIPAS
Q= Laura asiste a webconferences acadmicas
R= Laura asiste a la actividad B-Learning

P Q R P R
V V V F V F F V V F F V
V V F F V F F V V F F F
V F V F V V V V F F F V
V F F F V V V V F F F F
F V V V V V F F V V V V
F V F V V V F F V V F F
F F V V V V F F V V V V
F F F V V V F F V V F F
La tabla de verdad nos da que es tautologa
Juan es docente del curso Pensamiento Lgico y Matemtico y est
revisando la participacin que se ha generado en el Foro de Interaccin
y Produccin Intelectual del Paso 1, de uno de sus grupos asignados;
encontrando una conversacin que le llam mucho la atencin y extrajo
un fragmento de la misma: no desarroll el problema de la
aplicabilidad de las operaciones entre conjuntos y particip con los
ejemplos de la operaciones entre conjuntos o no desarroll el problema
de la aplicabilidad de las operaciones entre conjuntos y desarroll el
problema de la aplicabilidad entre conjuntos y no socialic el aporte en
el E-Portafolio.
Transforma este fragmento de la conversacin que cautiv la atencin
de Juan en lenguaje formal, realiza las respectivas tablas de verdad e
indica si es tautologa, contradiccin o contingencia. Adems debes
hacer la comprobacin con el uso del simulador TRUTH.
P= desarrolle el problema de la aplicabilidad de las operaciones entre conjuntos

Q= participe con los ejemplos de las operaciones entre conjuntos

R= socialice el aporte en el E-Portafolio

{
 P Q R Q v P R

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

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

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

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

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

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

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

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

La anterior tabla de verdad es una contingencia ya que su resultado final nos da combinacin de
verdaderos y falsos
Catalina se encuentra en una situacin disyuntiva al no tener claro que
decisin debe tomar; pues se encuentra a pocos das del cierre de la
actividad del Curso Pensamiento Lgico y Matemtico; precisamente ha
resultado ser ganadora de un paquete completo para ir de paseo a San
Andrs, y las fechas del paseo coinciden con los ltimos das de cierre
de la actividad mencionada. Catalina le pide consejo a su mejor amiga y
lee expresa lo siguiente: si consulto los temas en internet o no
desarrollo la actividad del Paso 2 y desarrollo la actividad del Paso 2 y
no voy al paseo, entonces desarrollo la actividad del Paso 2.
Transforma el mensaje de Catalina en lenguaje formal, realiza las
respectivas tablas de verdad e indica si es tautologa, contradiccin o
contingencia. Adems debes hacer la comprobacin con el uso del
simulador TRUTH.

P= consulto los temas en internet

Q= desarrollo la actividad del paso 2
R= voy al paseo

P Q R P V Q Q Q
V V V V V V F V F F V V
V V F V V V V V V V V V
V F V V V F F F F F V F
V F F V V F F F F V V F
F V V F V V F V F F V V
F V F F V V V V V V V V
F F V F F F F F F F V F
F F F F F F F F F V V F
Luisa ha recibido una bonificacin de la empresa donde trabaja porque
en el mes anterior fue la mejor vendedora, superando las ventas de los
ltimos cinco aos. Ella compr varias cosas que necesitaba y quera.
Das despus ella estaba recordando qu haba comprado e hizo la
siguiente reflexin: Compr una Tablet, y, no compr un computador
porttil y no compr una Tablet, y, no compr una Tablet o no compr
un celular de ltima tecnologa.
Transforma el texto que recrea los recuerdos de Luisa en lenguaje
formal, realiza las respectivas tablas de verdad e indica si es tautologa,
contradiccin o contingencia. Adems debes hacer la comprobacin con
el uso del simulador TRUTH.
P= compre una Tablet
Q= compre un computador porttil
R= compre un celular de alta gama

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

Esta tabla de verdad es una contingencia

Me encuentro revisando la malla curricular de mi programa de estudio

en la UNAD, pues siempre quise convertirme en un Ingeniero de
Alimentos, y en la UNAD se me facilita todo para aprender bien y de
manera rigurosa. Pero tengo extraviado mi recibo del periodo acadmico
anterior y tengo dudas con que voy a matricular en este momento.
Recuerdo lo siguiente: No matricul el curso de Fsica General o
matricul el curso de Qumica General, y, no matricul el curos de
Clculo Diferencial o matricul el curso de Fsica General, y, no matricul
el curso de Fsica General
Transforma este texto en lenguaje formal, realiza las respectivas tablas
de verdad e indica si es tautologa, contradiccin o contingencia.
Adems debes hacer la comprobacin con el uso del simulador TRUTH.

P= matricule fsica general

Q= matricule qumica general

R= matricule calculo diferencial

 P Q R v Q V P
V V V F V V V F V V F F
V V F F V V V V V V F F
V F V F F F F F V V F F
V F F F F F F V V V F F
F V V V V V F F F F F V
F V F V V V V V V F V V
F F V V V F F F F F F V
F F F V V F V V V F V V

La anterior tabla de verdad es una contingencia ya que su resultado final nos da combinacin de
verdaderos y falsos

Todos los inscritos en el Congreso Mundial de Educacin Virtual pueden ser

ponentes.
Algunos estudiantes de la UNAD no pueden ser ponentes.
Algunos estudiantes de la UNAD no estn inscritos al Congreso Mundial
de Educacin Virtual.
Toda elipse posee eje mayor y eje menor.
Todos los planetas del Sistema Solar poseen como trayectoria una elipse.
Todos los planetas del Sistema Solar poseen eje mayor y eje menor.
Ningn enunciado de la Fsica Newtoniana puede ser relacionado a la Fsica
Cuntica.
Algunas Teoras sobre el comportamiento de las fuerzas puede ser un
enunciado de la Fsica Cuntica.
Algunas Teoras sobre el comportamiento de las fuerzas no son enunciados
de la Fsica Newtoniana.
 CONCLUSIONES

Luego de haber hecho el presente trabajo he podido concluir

Que las tablas de verdad son un instrumento con el que podemos verificar la
veracidad de una preposicin

La tautologa se da cuando todos los resultados de una tabla de verdad son

verdaderos, es negacin cuando todos son falsos y es contingencia cuando hay
tanto verdaderos como falsos.

El silogismo es una forma de razonamiento deductivo que consta de dos

proposiciones como premisas y otra como conclusin, siendo la ltima una
inferencia necesariamente deductiva de las otras dos. Fue formulado por primera
vez por Aristteles, ampliamente reconocido como padre fundador de la lgica. El
silogismo es la nocin central de la lgica aristotlica, pilar fundamental del
pensamiento cientfico y filosfico desde su invencin hace ms de dos milenios.

Par representarlo en un diagrama de ven toca separar los conjuntos que lo

componen y sus relaciones