ETAPA 1

LAS 4 TABLAS DE LA VERDAD

Las tablas de verdad son, por una parte, uno de los mtodos ms sencillos y
conocidos de la lgica formal, pero al mismo tiempo tambin uno de los ms
poderosos y claros. Entender bien las tablas de verdad es, en gran medida,
entender bien a la lgica formal misma.

P Q ^
Q
1 1 1
1 0 0
0 1 0
0 0 0

1. CONJUNCIN:

La conjuncin es un operador que opera 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.

Smbolo gramatical: (p ^ q)
Smbolo lgico: ^

Ejemplos:

Sea la proposicin molecular: "8 es mltiplo de 2 y 9 es un nmero impar"

p = "8 es mltiplo de 2" (verdadera), q = "9 es un nmero impar"
(verdadera)
 Por ser ambas verdadera la conjuncin entre ellas es verdadera.
Sea la proposicin molecular: "La fresa es una fruta y 3 es un nmero par"
p = "La fresa es una fruta" (verdadera), q = "3 es un nmero par" (falsa)
Por tanto, la conjuncin entre ellas es falsa, ya que ambas no son
simultneamente verdaderas.
Bogot es la capital de Colombia y Guayaquil es la capital de Brasil (p= V;
q= F) p^q= F

2. DISYUNCIN:

La disyuncin es un operador que opera sobre dos valores de verdad, tpicamente

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.

Smbolo gramatical: o
Smbolo lgico: v

Disyuncin Inclusiva

Dadas dos proposiciones p y q, se denomina disyuncin inclusiva de estas

proposiciones a la proposicin:

Establece que la disyuncin inclusiva es verdadera si al menos una de las dos

proposiciones de las componentes es verdadera. Cuando todas ellas son falsas, la
proposicin resultante es falsa.
Ejemplos:

"El cielo es azul o 12 es un nmero par"

p = "El cielo es azul" (verdadera), q = "12 es un nmero par" (verdadera)
Por ser ambas verdadera la disyuncin inclusiva entre ellas es verdadera.
"El nmero 1 es el elemento neutro de la suma o 44 es un nmero par"
p = "El nmero 1 es el elemento neutro de la suma" (falsa), q = "44 es un
nmero par" (verdadera)
Por tanto, la disyuncin inclusiva entre ellas es verdadera, ya que una de
ellas es verdadera.
"La navidad se celebra en agosto o 13 es un nmero par"
p = "La navidad se celebra en agosto" (verdadera), q = "13 es un nmero
par" (falsa).
Por tanto, la disyuncin inclusiva entre ellas es falsa, ya que ambas no son
simultneamente falsa.

Disyuncin exclusiva.

Dadas dos proposiciones p y q, se denomina disyuncin exclusiva de estas

proposiciones a la proposicin:

Establece que la disyuncin exclusiva es verdadera si slo una de las dos

proposiciones de las componentes es verdadera. Cuando todas ellas son falsa,
todas son verdaderas la proposicin resultante es falsa. Es verdadera si slo una
de las variables atmicas es verdadera. Cuando las dos son falsas o las dos son
verdaderas entonces la proposicin resultante es falsa.
Ejemplos:

"O uno es el elemento neutro de la multiplicacin o 12 es un nmero par"

p = "uno es el elemento neutro de la multiplicacin " (verdadera), q = "12 es
un nmero par" (verdadera).
Por ser ambas verdadera la disyuncin exclusiva entre ellas es falsa.
"O la navidad se celebra en diciembre o 13 es un nmero par"
p = "La navidad se celebra en diciembre" (verdadera), q = "13 es un
nmero par" (falsa).
Por tanto, la disyuncin exclusiva entre ellas es verdadera, ya que ambas
no son simultneamente verdaderas.
"O los carnavales se celebran en agosto o 15 es un nmero par"
p = "los carnavales se celebran en agosto" (falsa), q = "15 es un nmero
par" (falsa).
Por tanto, la disyuncin exclusiva entre ellas es falsa, ya que ambas son
falsas.

3. IMPLICACIN:

Es una proposicin compuesta por proposiciones simples unidas mediante el

conectivo lgico:

EJEMPLOS:

Si estudias entonces irs al paseo.

Si x+3=5, entonces x=2.
Si ABC es un tringulo, entonces el ngulo A mas el ngulo B mas el ngulo
C es igual a 180 grados.
Si ha llovido entonces las calles estn mojadas.
 4. BICONDICIONAL:

El bicondicional o doble implicacin es un operador que funciona sobre dos

valores de verdad, tpicamente los valores de verdad de dos proposiciones,
devolviendo el valor de verdad verdadero cuando ambas proposiciones tienen el
mismo valor de verdad, y falso cuando sus valores de verdad difieren.

EJEMPLOS:

pq: 10 es un nmero impar si y solo si 6 es un nmero primo

p: 10 es un nmero impar- q: 6 es un nmero primo

pq: 3 + 2 = 7 si y solo si 4 + 4 = 8
p: 3 + 2 = 7- q: 4 + 4 = 8

ETAPA 2

ANEXO 1- SITUACIONES PROBLEMTICAS DE LA LGICA

PROPOSIONAL
EJERCICIO 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 envide evidencia de su asistencia; de
manera que Mario enva un nuevo mensaje en el que menciona lo siguiente: Si
asist a los encuentros de B-Learning, entonces desarroll los ejercicios de la gua
de Trabajo Colaborativo. Si desarrolle los ejercicios de la gua, entonces obtengo
buena nota en el trabajo. Si y sol si desarroll los ejercicios de la gua de Trabajo
Colaborativo.
Realice la respectiva tabla de verdad y determinando si es tautologa,
contradiccin o contingencia, establezca si para el tutor hay suficientes criterios
para creer que el estudiante s asisti a los encuentros de B- Learning.

DESARROLLO:

p= Si asist a los encuentros de B-Learning.

q= desarrolle los ejercicios de la gua.

r= Obtengo una buena nota en el trabajo.

[(p=>q) (q=>r)] (r=>q)

N= proposiciones simples= 3

2^3=2x2x2= 8

p q r p => q q=> r r =>q [(p => q)^ (q => r)] [(p=>q) (q=>r)] (r=>q)

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

Es verdadera y falsa, por lo tanto la proposicin es una CONTINGENCIA.

 PANTALLASO SIMULADOR TRUTH

ETAPA 3

ANEXO 2- ENUNCIADOS DENOMINADOS SILOGISMOS FASE INDIVIDUAL

EJERCICIO 3:

Todos los bachilleres que presentaron PRUEBAS SABER 11 despus del ao

2012 pueden acceder al crdito condonable dado por el Estado

Algunos jvenes de estrato tres no pueden acceder al crdito condonable.

Algunos jvenes de estrato tres no son bachilleres que hayan presentado

PRUEBAS SABER 11 despus del ao 2012.

DESARROLLO:

A: Todos los bachilleres que presentaron PRUEBAS SABER 11 despus del ao

2012 pueden acceder al crdito condonable dado por el Estado
 Todos los bachilleres que crdito condonable dado
Presentaron pruebas saber 11 por el estado

B: Algunos jvenes de estrato tres no pueden acceder al crdito condonable.

Jvenes de estrato 3

Crdito condonable

D: Algunos jvenes de estrato tres no son bachilleres que hayan presentado

PRUEBAS SABER 11 despus del ao 2012.
Jovenes de estrato 3

Bachilleres que presentaron pruebas saber 11