Las cuatro Tablas de verdad: conjunción, disyunción, implicación y bicondicional.

Para empezar debemos de conocer los Símbolos de las conectivas:

NEGACION: ¬, se lee “No es cierto que …”

CONJUNCION:^, se lee “… y …”

DISYUNCION: v, se lee “… o …

CONDICIONAL: →, se lee “si … entonces …”

BICONDICIONAL: ↔, se lee “… si y solo si …”

 la conjunción es una conectiva lógica que enlaza dos enunciados dando como resultado
una fórmula que será verdadera solamente cuando sus enunciados componentes son
verdaderos

La conjunción es un operador que opera sobre dos valores de verdad, típicamente 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.

p q pq
V V V
V F F
F V F
F F F
Tabla de verdad conjunción p ^ q (se lee: ” p y q”)

EJEMPLOS:

p = ” El número 4 es par”

q = ”Siempre el residuo de los números pares es 2″

Entonces…

p^q: “El número 4 es par y Siempre el residuo de los números pares es 2″

p = ” El número más grande es el 34”

q = ”El triángulo tiene 3 lados″

Entonces…

p^q: “El número más grande es el 34 y El triángulo tiene 3 lados”

DISYUNCIÓN

La disyunción es un operador que opera sobre dos valores de verdad, típicamente los valores de
verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando una de las
proposiciones es verdadera, o cuando ambas lo son, y falso cuando ambas son falsas.

p q pvq
V V V
V F V
F V V
F F F
Tabla de verdad de la disyunción p v q (se lee: ” p o q”)

Ejemplos:

p = ” El número 2 es par”

q = ” la suma de 2 + 2 es 4″

entonces…

pvq: “El número 2 es par o la suma de 2 + 2 es 4″

p = ” La raíz cuadrada del 4 es 2”

q = ” El número 3 es par″

entonces…

pvq: “La raíz cuadrada del 4 es 2 o el número 3 es par”

La implicación

La implicación es la conectiva lógica más difícil de comprender y de asociar con una construcción
del lenguaje natural.[1] Se representa con el símbolo ⇒y la expresión α⇒β se puede leer de
múltiples así:

α implica β

Si α, entonces β

α es suficiente para β

α es una condición suficiente para β

α solo si β

β es necesaria para α
β es una condición necesaria para α

En la expresión α⇒β, la proposición α se llama hipótesis o antecedente y la proposición βse llama

conclusión o consecuente.[2][1] La proposición compuesta es verdadera cuando el antecedente es
falso o cuando el antecedente es verdadero y el consecuente es verdadero. Si el antecedente es
verdadero y el consecuente es falso el valor de verdad de la implicación es falso (F).[3]

La tabla de verdad de la conectiva se muestra a continuación y la forma más sencilla de recordarla

es considerando que la proposición compuesta es falsa si el antecedente es verdadero y el
consecuente es falso y que es verdadera en los demás casos.[1]

α β α⇒β
V V V
V F F
F V V
F F V
Tabla de Verdad de implicación

Ejemplo

Valor de Valor de Valor de

verdad del verdad del verdad de la
Primer Segundo La implicación en primer segundo implicación
enunciado enunciado lenguaje natural enunciado enunciado
(β) (α⇒β)
(α)

Cristóbal
Si la tierra es redonda
La tierra es Colón
entonces Cristóbal Colón V V V
redonda descubrió
descubrió América
América
Si Gabriel García Márquez
Gabriel García Cristóbal
fue un escritor entonces
Márquez fue un Colón V F F
Cristóbal Colón descubrió
escritor descubrió Asia
Asia
Miguel de Si Miguel de Cervantes
Los triángulos
Cervantes escribió escribió «Cien años de
tienen tres F V V
«Cien años de soledad» entonces los
lados
soledad» triángulos tienen tres lados
Si Venus es una estrella
Venus es una La luna es un
entonces la luna es un F F V
estrella planeta
planeta

 La doble condicional o bicondicional es una conectiva lógica que enlaza dos enunciados dando
como resultado una fórmula que será verdadera solamente cuando sus enunciados componentes
tienen el mismo valor de verdad

p q p⇔q
V V V
V F F
 F V F
F F V
Tabla de Verdad Bicondicional

Ejemplo

(a) Verdad o falso? "2+2 = 3 si y solo si Marte es un agujero negro."

(b) Reformula la oración: "Enseño Castellano si y solo si me pagan una gran suma de dinero."

Solución

(a) Verdadera. La proposición dada tiene la forma p↔q, dónde p: "2+2=3" y q: "Marte es un
agujero negro." Ya que ambas proposiciones son falsas, el bicondicional p↔q es verdadera.

(b) Aquí están algunas maneras equivalentes de expresar esta oración:

"Enseñar Castellano es necesario y suficiente para que me paguen una gran suma de dinero."

"Me pagan una gran suma de dinero si y solo si enseño Castellano."

Lamentablemente para nuestras finanzas, ninguna de las dos oraciones es verdad.

 Fuente Bibliografica

1. Lau, Joe; Chan, Jonathan. «Sentential logic». Critical Thinking Web (en inglés).
Consultado el 11 de diciembre de 2015.
2. Grimaldi, Ralph (1998). Matemáticas discreta y combinatoria (3.ª edición). Massachusetts,
Estados Unidos: Addison Wesley Longman. p. 1120. ISBN 968-444-324-2.
3. Klement, Kevin. «Propositional Logic». The Internet Encyclopedia of Philosophy (en
inglés). Massachusetts, Estados Unidos. Consultado el 11 de diciembre de 2015.

Stefan Waner y Steven R. Costenoble. (1996). Introducción a Lógica. Consultado 18 de octubre de

2016. http://www.zweigmedia.com/MundoReal/logic/logic3.html

MATEMÁTICAS DISCRETAS-UNIDAD 3-LÓGICA MATEMÁTICA. Tomado el 17 de

octubre de 2016 de https://matedisunidad3.wordpress.com/page/3/
– Segunda etapa de Planteamiento y resolución de problemas de la Lógica Proposicional (utilizando
las operaciones necesarias de las tablas de verdad): El problema 2 del ANEXO 1. SITUACIONES
PROBLÉMICAS DE LA LÓGICA PROPOSICIONAL FASE INDIVIDUAL.

2. Paola entra en una discusión con su esposo Jairo por el derroche de dinero que han tendio
en los últimos meses. En una conversación un tanto acelerada, Jairo le dice a su esposa: “No es
cierto que, compré un carro nuevo o una motocicleta de alto cilindraje, o compré un auto nuevo o
perdí el premio económico de la empresa por superar el número de ventas. Y es que perdí el premio
que otorgaba la empresa por superar el número de ventas”.

¿será que Paola le dará la razón a su esposo o considerará que es falso lo que él dice?

Según el resultado de la tabla de verdad, determinando si es tautología, contradicción o

contingencia, plantea una respuesta sobre la percepción de Paola respecto a lo que mencionó su
Jairo

Identificación de proposiciones simples

p: compré un carro nuevo

q: una motocicleta de alto cilindraje

r: perdí el premio económico que otorgaba la empresa

Y es que perdí el premio que otorgaba la empresa por superar el número de ventas

Proposiciones compuestas˅

P1: No es cierto que, compré un carro nuevo o una motocicleta de alto cilindraje.

P2: o compré un auto nuevo

P3: o perdí el premio económico de la empresa por superar el número de ventas

Y es que perdí el premio que otorgaba la empresa por superar el número de ventas

Conclusión: Jairo no ha tenido ningún derroche de dinero solo perdió el premio que otorgaba la
empresa.

Expresión formal ~{[(p˅q)]˅[(p˅r) ˅[(q˅r)]}r ~{[(p˅q)]˅[(p˅r)] y r

Tabla de verdad

p q r 𝒑∨𝒒 𝒑∨𝒓 ((pvq)v(pvr)) [(𝒑 ∨ 𝒒)] ~{[(𝒑 ∨ 𝒒)]

∨ [(𝒑 ∨ 𝒓)]𝒓 ∨ [(𝒑 ∨ 𝒓)]}𝑟

V V V V V V V F

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

V F F V V V V F

F V V V V V V F

F V F V F V V F

F F V F V V V F

F F F F F F V F
Contradicción

Comprobación de la tabla de verdad con el simulador TRUTH

Expresión formal ~{[(p˅q)]˅[(p˅r)]} r en el simulador ~{[(p+q)]+[(p+r)]}&r

Conclusión
Los resultados en la tabla y el simulador, son iguales, muestran Falsedad, el razonamiento
es Contradicción. Jairo no ha tenido ningún derroche de dinero solo perdió el premio que le
otorgaba la empresa.

Tercera etapa de silogismos y representación gráfica con Veen: del ANEXO 2. ENUNCIADOS
DENOMINADOS SILOGISMOS FASE INDIVIDUAL. el inciso 2

3. Representación gráfica a través del Diagrama de Venn del enunciado denominado

silogismo.

Todo Espacio Vectorial consta de cantidades vectoriales y escalares.

En el curso de Álgebra Lineal todos los enunciados son de Espacios Vectoriales.

En el curso de Álgebra Lineal todos los enunciados constan de cantidades vectoriales y escalares

Datos:

A- Todo Espacio Vectorial consta de cantidades vectoriales y escalares.

B- En el curso de Álgebra Lineal todos los enunciados son de Espacios Vectoriales.

C- En el curso de Álgebra Lineal todos los enunciados constan de cantidades vectoriales y escalares

Es Silogismo de la forma AAA, cuya distribución de términos es:

.A: Todo M es P

.A: Todo S es ser M

.A: Todo S es P

Conclusión
Asi quedo representada la conclusión “Todo S es P” que quiere decir que requiere de sombrearse la
zona marcada como SṖṀ y la SṖM.

Inspeccionando el diagrama que representa las dos premisas se observa que representa también la
conclusión porque la zona de intersección de los círculos S y P aunque aparece gráficamente vacía
de todos modos la zona en blanco significa que todo S es P. de modo que esa zona es la que en este
silogismo categórico representa la conclusión. Como la zona sombreada no afecta la conclusión, de
este hecho se puede concluir que el silogismo es válido

Referencia Bibliográfica

UNAD. Silogismos.
repository.unad.edu.co/bitstream/10596/7959/3/200611%20Silogismos. Pdf pp.23

Silogismo Categórico Teoría Scribd (2012).

https://es.scribd.com/doc/52092042/SILOGISMO-Teoria

http://es.slideshare.net/Florhernandezcarballido/silogismos-categricosvf-15600463