Logica

`
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 p^q pyq
Disyunción
“0” v pvq poq
Inclusiva
Disyunción
“0”... “o”... v Exclusiva
pvq opoq
“si...,
→ Condicional p→q si p entonces q
entonces”...
... “si y solo si”... ↔ Bicondicional p↔q p si y solo si q
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 trabaja lo domingos ~p
- No es cierto que Ricardo trabaja los domingos ~p
- Es falso que Ricardo trabaja los domingos ~p
- No es verdad 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 y 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 y 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 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 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 F
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 conseguirá inversiones.
r: El tendrá el 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 practica 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.
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)
V V V
V F V Tautológica
F V V
F F V
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.
a. (La lógica es difícil)

b. (Vinieron) ∧ (Llegaron tarde)
c. (Realizo las tareas ∧ Participo) → (Aprobaré el curso de Matemática)
d. (Eres puntual → Iremos juntos) ∧ (Llegas tarde → Iré con Ana)
e. El dinero es importante ∧ (La sabiduría lo, es más)
f. (Lo hizo Adriana) ∨ (Es nueva en el grupo) ∨ (Estuvo distraída)
g. César fue el responsable ∧ (Se quedó con las llaves)

Logica

Cargado por

Copyright:

Formatos disponibles

Logica

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Logica

Cargado por

Copyright:

Formatos disponibles

`

Ing. MIGUEL FRANCISCO ORELLANA

LUZ MERIA CUBAS MOLINA.

CONECTIVOS LÓGICOS Y OPERACIONES LÓGICAS

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

Conectivo Conectivo Operación

Tabla de la verdad de la negación

Tabla de la verdad de la conjunción:

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

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

a. Mariana es profesora o contadora,

 En las proposiciones: ) y. ) la disyunción es p v q, Mariana puede ser

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

Tabla de la verdad de disyunción exclusiva

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

El condicional es falso cundo el antecedente es verdadero y el consecuente es

Tabla de la verdad del condicionl es:

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

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

El bicondicional es verdadero cuando las dos proposiciones enlazadas tienen igual

Formalization de proposiciones compuestas

Formaliza la siguiente proposición: “Si el alcalde hace una buena gestión,

 Identificamos las proposiciones simples y las representamos con variables.

 Interpreta las variables proposicionales identificadas:

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

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

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

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

Si José practica deporte, si y solo si tendrá un cuerpo saludable;

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

 Interpreta las variables proposicionales identificadas:

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

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

Si se come una dieta equilibrada y variada, se puede mejorar la salud y prevenir

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

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

Formaliza las siguientes proposiciones:

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

a. (La lógica es difícil)

También podría gustarte