Control Número 2

Elías Oliverio Pérez Gómez

INFO94-1 LÓGICA MATEMÁTICA Y DIGITAL

Instituto IACC

10 de Diciembre de 2018
 1 Introducción.
El Objetivo de este trabajo, tiene por objetivo aplicar los conocimientos adquiridos durante los
Contenido de la Semana Número 2.

Esto es reconocer proposiciones lógicas utilizando significados de los conectivos lógicos e

interpretación del significado de tabla de la verdad.

2 Planteamiento del Requerimiento del

Control
La universidad es una institución de nivel superior o una para educación básica, los profesores son
ingenieros y técnicos superiores, se sabe que los perros no pueden entrar a la universidad excepto
si llevan una correa, si logras llevar al perro entonces recuerda llevar los libros, si no llevas los libros
entonces aplazarás todas tus materias.

3 Desarrollo Control

3.1 Construya proposiciones simples y

enúncielas con las letras minúsculas de la
“p” en adelante:
p = La universidad es una institución de nivel superior
q =La universidad es para una educación básica
r =Los profesores son ingenieros.
s =Los profesores son Técnicos superiores.
t =Los Perros pueden entrar a la Universidad.
u =Los Perros llevan una correa.
v =Tú llevas al perro.
w =Tú recuerdas llevar los libros.
x =Tu aplazaras todas tus materias.
 3.2 Construya las fórmulas correspondientes
al enunciado:
FORMULAS SIGNIFICADOS
pVq La universidad es una institución de nivel superior o una para educación
básica.

r Λ s Los profesores son ingenieros y técnicos superiores.

¬(t ↔ u) Los perros no pueden entrar a la universidad excepto si llevan una correa.

v →w Si llevas al perro, entonces recuerda llevar los libros.

¬w→x Si no llevas los libros entonces aplazaras todas tus materias
3.3 Determine la tabla de verdad para
dichas fórmulas:
Caso 1
Disyunción :
Operador Lógico (O), representado por el símbolo V.
Natural:
La universidad es una institución de nivel superior o una para educación básica.
Lógica: p V q
Tabla de la verdad para la disyunción de dos proposiciones es:

2
(2) = 4 filas

p q pVq
1 1 1
1 0 1
0 1 1
0 0 0

Caso 2
Conjunción:
Operador Lógico (Y), representado por el símbolo Λ.
Natural:
Los profesores son ingenieros y técnicos superiores.
Lógica: r Λ s
Tabla de la verdad para la conjunció de dos proposiciones es:

2
(2) = 4 filas

r s rΛs
1 1 1
1 0 0
0 1 0
0 0 0
Caso 3
Bicondicional:
Operador Lógico (si solo si ), representado por el símbolo ↔.
Negación:
Operador Lógico (NO ), representado por el símbolo ¬.

Natural:
Los perros no pueden entrar a la universidad excepto si llevan una correa.
Lógica: ¬ t ↔ u
Tabla de la verdad para la Negación con Bicondicional de dos proposiciones es:

2
(2) = 4 filas

¬t u ¬t ↔ u
0 1 0
0 0 1
1 1 1
1 0 0
Caso 4
Condicional:
Operador Lógico (Si…entonces ), representado por el símbolo →.
Natural:

Si llevas al perro, entonces recuerda llevar los libros.

Lógica: v → w
Tabla de la verdad para la Condicional de dos proposiciones es:

2
(2) = 4 filas

v w v →w

1 1 1
1 0 0
0 1 1
0 0 1
Caso 5
Condicional:
Operador Lógico (Si…entonces ), representado por el símbolo →.
Negación:
Operador Lógico (NO ), representado por el símbolo ¬.
Natural:

Si no llevas los libros entonces aplazaras todas tus materias

Lógica: ¬ w → x
Tabla de la verdad para la Negación con Bicondicional de dos proposiciones es:

2
(2) = 4 filas

¬w x ¬w → x
0 1 1
0 0 1
1 1 1
1 0 0