CUANTIFICADORES Y PROPOSICIONES CATEGÓRICAS

ESTUDIANTE
JUAN DAVID BARBOSA GUARÍN

CURSO
PREPROF2102C2-2021-20055
LÓGICA DE PROGRAMACIÓN

DOCENTE
JULIÁN ANDRÉS CASTILLO

FACULTAD DE CIENCIAS AGROPECUARIAS E INGENIERÍA

TECNOLOGÍA EN DESARROLLO DE SOFTWARE
VILLAVICENCIO-META
01/04/2022

Página 1
 TALLER PRÁCTICA 2
“La lógica es la técnica por la que añadimos convicción a la verdad”. Jean de la Bruyere.

Instrucciones
Después de analizar los contenidos abordados en la Unidad 1, te invitamos a realizar la siguiente
actividad. Para esto, ten en cuenta los siguientes pasos:

1. Lee cada uno de los ejercicios propuestos detenidamente.

2. Para desarrollar los ejercicios propuestos recuerda haber estudiado previamente las
temáticas pertinentes.
3. Por último, guarda el documento de la evidencia en formato PDF con el nombre
Taller2_nombreEstudiante, y súbelo a plataforma ingresando en la actividad y haciendo
clic en Entregar Tarea.

Planteamiento
Estimado estudiante, se espera que a través de esta actividad se realice el proceso de
transferencia de los temas de la primera Unidad del curso.

Fase 1. Teoría de conjuntos

1.1 Entre las siguientes figuras, construya cuatro agrupaciones de aquellas que tengan
características semejantes:

Por ejemplo: el siguiente grupo está constituido por los elementos que tienen lados rectos
(característica en común).

Página 2
En el conjunto anterior observamos que tienen lados rectos (rombo, octágono, pentágono, “sol”,
“rayo” porque en alguna de sus partes se encuentra un lado recto.

De forma similar, se solicita plantear 4 relaciones agrupando los elementos que tienen alguna
característica en común.

1. Primer conjunto: Relación por elementos de la misma tonalidad

2. Segundo conjunto: Relación por elementos forma triangular

3. Tercer conjunto: Relación de elementos con 20 ángulos

4. Cuarto conjunto: Relación de elementos con 24 ángulos

1.2 En un encuentro tutorial participan diez estudiantes, de los cuales dos matricularon los cursos
de Lógica y ética, cinco matricularon únicamente el curso de lógica, y tres estudiantes tomaron
únicamente el curso de ética.

Página 3
Completar la siguiente información:

a. ¿Cuántos estudiantes matricularon Lógica y ética? RTA: 2 estudiantes

b. ¿Cuántos estudiantes matricularon Lógica o ética? RTA: 10 estudiantes
c. ¿Cuántos estudiantes matricularon más de un curso? RTA: 2 estudiantes
d. ¿Cuántos estudiantes matricularon dos cursos? RTA: 2 estudiantes
e. ¿Cuántos estudiantes matricularon menos de dos cursos? RTA: 8 Estudiantes

Página 4
1.3 En la afirmación: “Si Ana estudia, aprende lógica”, se establece una relación entre dos
expresiones: “Ana aprende Lógica” y “Ana estudia”. En esta relación, la expresión Ana aprende
Lógica es consecuencia de la expresión Ana estudia.

Identifica la causa y la consecuencia en cada una de las siguientes expresiones: “Ana

aprende lógica si estudia” Causa: Ana estudia Efecto: Ana aprende

“Cuando llueve, hace frío” Causa: Llover Efecto: Frío

“Si estudio, aprendo” Causa: Estudiar Efecto: Aprender

“Aprendo cuando estudio” Causa: Estudiar Efecto: Aprender

“Para aprender hay que leer” Causa: Leer Efecto: Aprender

1.4 Haciendo uso de los diagramas de Venn,

Plantea una propuesta para representar el área sombreada para la expresión: “Juan matriculó
Álgebra o Lógica, pero no Competencias Comunicativas, usando las operaciones entre conjuntos
A= Algebra, L = Lógica, C = Competencias Comunicativas.

(A U L)-C

Página 5
 Fase 2. Principios de lógica
2.1 se debe plantear 8 expresiones relacionadas con su programa de estudio, tal que cuatro de las
expresiones correspondan a proposiciones lógicas y cuatro expresiones que no puedan ser
clasificadas como proposiciones.

Son proposiciones lógicas: No son proposiciones lógicas:

Estudiar programación requiere disciplina Requerir
En programación estudiamos matemáticas y ¿Estudiamos programación?
lógica
O aprendes a programar o aprendes matemáticas ¿Aprendes matemáticas?
Trabajar en equipo es eficiente si y solo si todos Trabajen todos en equipo
participan

2.2 A continuación se propone identificar los conectivos lógicos y proposiciones simples presentes
en cada expresión, posteriormente plantearán una expresión equivalente en lenguaje simbólico:

Expresión premisas Lenguaje simbólico

Si hay tolerancia, p = hay tolerancia 𝑝→𝑞
entonces hay paz q = hay paz
Para aprender matemáticas P= Ser ordenado (P /\Q) →R
es necesario ser ordenado y Q= Ser constante
constante. R= Aprender matemáticas

Dos condiciones son P=Enseñar a controlar sus (P /\Q) →R

necesarias y suficientes impulsos
para que tus hijos tengan Q=Enseñar a desarmar su
buena vida sobre la tierra: corazón
R=Tus hijos tendrán buena vida
enséñales a controlar
sobre la tierra
sus impulsos y a
desarmar su corazón.

Ana tiene perseverancia, P=Ana tiene perseverancia por la (P/\Q) /\R

orden y amor por la tarea. tarea
Q=Ana tiene orden por la tarea
R= Ana tiene amor por la tarea

Página 6
 2.3 Las tablas de verdad nos permiten conocer el valor de verdad de una proposición compuesta para cada valor posible de las
proposiciones simples que la conforman. A continuación, se debe elaborar la tabla de verdad de las siguientes proposiciones
lógicas, finalmente, se debe clasificar la proposición como tautología, contradicción o contingente de acuerdo al resultado:

a)  p  q  q   p  r  q  s

(P V Q) ꓥ [(P V Q) ꓥ ¬Q] ꓥ {[(P V Q) ꓥ ¬Q] ꓥ (P ꓥ R)}

P Q R S ¬Q
(P V Q) ¬Q (P ꓥ R) (P ꓥ R) QVS →QVS
VERD
VERDA ADER VERDA VERDADE VERDAD VERDADE VERDADE
DERO O DERO RO FALSO ERO FALSO RO FALSO RO VERDADERO
VERD
VERDA ADER VERDA VERDAD VERDADE VERDADE
DERO O DERO FALSO FALSO ERO FALSO RO FALSO RO VERDADERO
VERD
VERDA ADER VERDADE VERDAD VERDADE
DERO O FALSO RO FALSO ERO FALSO FALSO FALSO RO VERDADERO
VERD
VERDA ADER VERDAD VERDADE
DERO O FALSO FALSO FALSO ERO FALSO FALSO FALSO RO VERDADERO
VERDA FALS VERDA VERDADE VERDA VERDAD VERDAD VERDADE VERDADE
DERO O DERO RO DERO ERO ERO RO VERDADERO RO VERDADERO
VERDA FALS VERDA VERDA VERDAD VERDAD VERDADE
DERO O DERO FALSO DERO ERO ERO RO VERDADERO FALSO FALSO
VERDA FALS VERDADE VERDA VERDAD VERDAD VERDADE
DERO O FALSO RO DERO ERO ERO FALSO FALSO RO VERDADERO
VERDA FALS VERDA VERDAD VERDAD
DERO O FALSO FALSO DERO ERO ERO FALSO FALSO FALSO VERDADERO
VERD
ADER VERDA VERDADE VERDAD VERDADE
FALSO O DERO RO FALSO ERO FALSO FALSO FALSO RO VERDADERO
FALSO VERD VERDA FALSO FALSO VERDAD FALSO FALSO FALSO VERDADE VERDADERO
ADER DERO ERO RO
 O
VERD
ADER VERDADE VERDAD VERDADE
FALSO O FALSO RO FALSO ERO FALSO FALSO FALSO RO VERDADERO
VERD
ADER VERDAD VERDADE
FALSO O FALSO FALSO FALSO ERO FALSO FALSO FALSO RO VERDADERO
FALS VERDA VERDADE VERDA VERDADE
FALSO O DERO RO DERO FALSO FALSO FALSO FALSO RO VERDADERO
FALS VERDA VERDA
FALSO O DERO FALSO DERO FALSO FALSO FALSO FALSO FALSO VERDADERO
FALS VERDADE VERDA VERDADE
FALSO O FALSO RO DERO FALSO FALSO FALSO FALSO RO VERDADERO
FALS VERDA
FALSO O FALSO FALSO DERO FALSO FALSO FALSO FALSO FALSO VERDADERO

La proposición es una CONTRADICCIÓN

 b)  p  q p q

P Q ¬P ¬Q (P V ¬Q) (P V ¬Q) ꓥ ¬P [(P V ¬Q) ꓥ ¬P] [(P V ¬Q) ꓥ ¬P] → ¬Q

VERDADER
O VERDADERO FALSO FALSO VERDADERO FALSO FALSO VERDADERO
VERDADER
O FALSO FALSO VERDADERO VERDADERO FALSO FALSO VERDADERO
VERDADER
FALSO VERDADERO O FALSO FALSO FALSO FALSO VERDADERO
VERDADER
FALSO FALSO O VERDADERO VERDADERO VERDADERO VERDADERO VERDADERO

La proposición es una TAUTOLOGÍA

2.4 Proposiciones contraria, recíproca y contrarrecíproca. A continuación, se debe plantear las proposiciones contraria, recíproca y
contrarrecíproca de la expresión: “Si el ganado es Jersey no tendré buena carne”:

Directa Si el ganado es Jersey no tendré buena carne

Contraria Si el ganado es Jersey tendré buena carne
Recíproca Si el ganado no es Jersey tendré buena carne
Contra recíproca Si el ganado no es Jersey no tendré buena carne