`

INSTITUTO DE EDUCACION
SUPERIOR TECNOLOGICO

PUBLICO “CUTERVO”
TEMA:
TABLA DE LA VERDAD.

UNIDAD DIDACTICA:
LOGICA Y FUNCIOMES.

DOCENTE:

Ing. MIGUEL FRANCISCO ORELLANA

MONTENEGRO

ESTUDIANTE:

LUZ MERIA CUBAS MOLINA.

PROGRAMA DE ESTUDIOS:

ENFERMERIA TECNICA.

CICLO: I
PRACTICA CALIFICADA N°01.-RESOLVER LOS SIGUIENTES EJERCICIOS

CONECTIVOS LÓGICOS Y OPERACIONES LÓGICAS

Los conectivos lógicos, llamados también operadores, son símbolos del

lenguaje formal que reemplazan a los conectivos gramaticales y al adverbio
de negación no., en el siguiente cuadro llene el conectivo lógico, la
operación lógica, el esquema e indique su lectura

Conectivo Conectivo Operación

Esquema Lectura
gramatical lógico lógica
“no” ~
Negación ~p “No….p”
“y” ^ Conjunción o “y”, “pero”,
producto “aunque”,
lógico p^q “además”,
“sin embargo”,
“no obstante”.
Disyunción
“o” (sentido
“0” v Inclusiva o pvq
induyente)
suma lógica.
Disyunción
Exclusiva o “y/o” (sentido
“0”... “o”... v pvq
diferencia excluyente)
simétrica.
“si..., “Si…entonces…”,
entonces”...
Condicional “porque”,
→ p→q
simple. “puesto que”, “ya
que”, etc.
Bicondicional “…si y solo
... “si y solo
si”...
↔ p↔q si…”es
equivalente a…
La negación
Es la operación que contradice a una proposición cambiándole su valor de
verdad. La negación utiliza las expresiones no, no es cierto que, es falso
que, no ocurre que, no es verdad que, no es el caso de que, etc.
Ejercicio:
Sea la proposición
p: Ricardo trabaja lo domingos. Niega p y simboliza.
Negamos p de diferentes formas y simbolizamos:
Esquema lógico:
- Ricardo no trabaja lo domingos ~p
- No es verdad que Ricardo trabaja los domingos ~p
- Es falso que Ricardo trabaja los domingos ~p
- No es cierto que Ricardo trabaja los domingos ~p

Tabla de la verdad de la negación

p ~P
V F
F V

La conjunción
Es la operación que enlaza dos proposiciones mediante el conectivo
gramatical “y”, o sus expresiones equivalentes: pero, además, aunque, sin
embargo, a la vez, también, no obstante, etc.
La conjunción es verdadera cuando las dos proposiciones enlazadas son
verdaderas; en los demás casos, es falsa.
Sean:
p: Diego viaja mucho y
q: Diego cuida su equipaje.
Expresa y simboliza la conjunción de p con la negación de q
Esquema Lógico:
Expresamos de diferentes formas y simbolizamos:
- Diego viaja mucho aunque no cuida su equipaje ………………….. p ^ ˜ q
- Diego viaja mucho no obstante cuida su equipaje ………p ^ ˜ q
- Diego viaja mucho sin embargo no cuida su equipaje......p ^ ˜ q
- A la vez que Diego viaja mucho pero no cuida su equipaje…p ^ ˜ q
 Tabla de la verdad de la conjunción:
p q p^q
V V V
V F F
F V F
F F F

La disyunción

Identificamos dos tipos de disyunción: la inclusiva y la exclusiva.

La disyunción inclusiva, o simplemente disyunción, enlaza dos
proposiciones mediante el conectivo gramatical “o”. Es verdadera cuando
por lo menos una de preposiciones enlazadas es verdadera, y es falsa
cuando ambas proposiciones falsas.
Tabla de la verdad de la Disyunción inclusiva:

p q pꓦq
V V V
V F V
F V V
F F F

Disyunción exclusiva enlaza dos proposiciones mediante el conectivo

gramatical “O”….”o”. Es verdadera cuando ambas proposiciones enlazadas
tengan valores de verdad opuestos, y es falsa cuando ambas tengan el
mismo valor de verdad.

Identifica el tipo de disyunción que se da en cada proposición.

Explica.

a. Mariana es profesora o contadora,

b. Gerardo tiene 17 o 18 años de edad.
c. O Andrea está en Arequipa o está en Tumbes.
d. Roxana juega con Ana o con Liliana.
  En las proposiciones: ) y. ) la disyunción es inclusiva (p v q), Mariana puede
ser profesora, contadora o tener ambas profesiones; y Roxana puede jugar
con Ana, con Liliana o con ambas.

 En las proposiciones: ). y ) la disyunción exclusiva (p v q) Gerardo solo

puede tener una de las dos edades, pero no ambas; y Andrea podría estar
en Arequipa o en Tumbes, pero no en ambos lugares a la vez.

Tabla de la verdad de disyunción exclusiva

p q pvq
V V F
V F V
F V V
F F F

El condicional

Es la operación que enlaza dos proposiciones: una llamada antecedente y la otra,

consecuente, que se unen mediante el conectivo gramatical si..., entonces... o sus
expresiones equivalentes: luego, por lo tanto, en conclusión, etc.

Por ejemplo:
Rafael tiene 18 años, por lo tanto, es mayor de edad.

Antecedente Consecuente

Algunas veces el antecedente se expresa luego del consecuente, cuando se usan

as expresiones ya que, puesto que, porque, siempre que, etc.

Por ejemplo:
Rafael es mayor de edad porque tiene 18 años.

Consecuente Antecedente
El condicional es falso cundo el antecedente es verdadero y el consecuente es
falso, en los demás casos, es verdadero.

Tabla de la verdad del condicionl es:

p q p→q
V V V
V F F
F V V
F F V

El bicondicional

Es la operación que enlaza dos proposiciones mediante el conectivo gramatical “si

y solo si” ... o sus expresiones equivalentes: cuando y solo cuando, entonces y
solo entonces, si y solamente si, es igual a, etc. Por ejemplo:

 abc es divisible por 3 si y solo si la suma de sus cifras es múltiplo de 3.

 Pilar va al cine cuando y solo cuando obtiene buenas calificaciones.

El bicondicional es verdadero cuando las dos proposiciones enlazadas tienen igual

valor de verdad; en los demás casos, es falso
p q p↔q
V V V
V F F
F V F
F F V

Formalization de proposiciones compuestas

Con la finalidad de organizar razonamientos y estudiar el lenguaje natural de

manera objetiva, la lógica recurre al lenguaje formal. Así, aparecen los esquemas
o fórmulas lógicas que ayudan a un correcto entendimiento.
Formaliza la siguiente proposición: “Si el alcalde hace una buena gestión,
entonces conseguirá inversiones o tendrá el apoyo de todos los
pobladores”.

 Identificamos las proposiciones simples y las representamos con variables.

Hacemos lo mismo con los conectivos gramaticales, los cuales los
sustituimos por sus respectivos conectivos lógicos.
Si el alcalde hace una buena gestión, entonces conseguirá inversiones

p → q
o tendrá el apoyo de todos los pobladores.

V r

 Interpreta las variables proposicionales identificadas:

p: El alcalde hace una buena gestión.
q: El alcalde conseguirá inversiones.
r: El alcalde tendría apoyo de todos los pobladores.

 Construye la fórmula lógica. En este caso, la coma (,) es el signo de

puntuación de mayor jerarquía y, por ello, utilizamos un signo de
agrupación:
Construye la forma lógica:
p → (q ^ r),

Considera las proposiciones p y r de este ejemplo e interpreta la notación

~p → ~r.

La notación ~p → ~r significa "si no p, entonces no r", lo que se lee como

"la negación de p implica la negación de r". Es decir, si p es falso, entonces
r también debe ser falso. Si p fuera verdadero, entonces no podemos inferir
nada acerca de la verdad o falsedad de r.

Formaliza la siguiente proposición: “Si José practica deporte, tendrá un

cuerpo saludable; y si tiene un cuerpo saludable, evitará muchas
enfermedades”.

 Identificamos los conectivos gramaticales y las proposiciones simples

teniendo en cuenta que a las proposiciones con el mismo significado les
corresponderá la misma variable proposicional.
 Si José practica deporte, si y solo si tendrá un cuerpo saludable;
p q

y si tiene un cuerpo saludable, entonces evitará muchas enfermedades

q r

 Interpreta las variables proposicionales identificadas:

p: Jose pràctica deporte.
q: Jose tiene un cuerpo saludable.
r: José evitará muchas enfermedades.

 Construye la fórmula lógica: (p ↔ q) ^ (q → r)

Construye y formaliza una proposición compuesta relacionada con la buena

alimentación.
Josè debe comer verduras entonces puede tener mucha resistencia.
Si se come una dieta equilibrada y variada, se puede mejorar la salud y
prevenir enfermedades crónicas.
Tablas de verdad
Son esquemas en los que se representan todos los valores de verdad o falsedad
que pueden asumir las distintas interpretaciones de una fórmula lógica. Estos
esquemas nos ayudan a determinar si un razonamiento es válido o no lo es.
Constituyen un procedimiento de decisión que en un número finito de pasos nos
dice si una fórmula es tautológica (universalmente válida), contradictoria (falsa en
todas sus ocurrencias) o contingente (no es ni universalmente verdadera ni
universalmente falsa).

Determina la validez de la formula lógica (p→ q) v (q ↔ ~ p)

Elaboramos la tabla de verdad. Como la fórmula lógica presenta 2 variables (p, q),
el número de filas será 4

Resuelve el condicional y el bicondicional según los valores de verdad de p y q.

ayúdate de las tablas de verdad de estas operaciones, revisadas en páginas
anteriores.
Resolvemos la disyunción.

3.5 Evaluar el esquema por tabla de la verdad.

p q (p→ q) v (q ↔ ~ p)

Tautológica

Como la columna principal tiene solo valores verdaderos, la fórmula lógica es

tautológica; es decir, es una fórmula verdadera para cualquier interpretación. Es
universalmente válida en virtud de su forma, con independencia de los valores de
verdad de las proposiciones que la integran.

Formaliza las siguientes proposiciones:

a. Es falso que la lógica sea difícil.

b. Vinieron, pero llegaron tarde.
c. Solo si realizo las tareas y participo, en clase aprobaré el curso de
Matemática.
d. Si eres puntual, iremos juntos; pero si llegas tarde, iré con Ana.
e. El dinero es importante, pero la sabiduría lo, es más.
f. Si lo hizo Adriana, o es nueva en el grupo o estuvo distraída.
g. César fue el responsable porque se quedó con las llaves.