Professional Documents
Culture Documents
INTEGRANTES 5:
• Jouve Loor Stephanie Michelle
• Licoa Avilés Jefferson David
• Sagñay Valla Edison Javier
• Escobar Luis José
• Laínez Muñoz Adrián
2018 – 05 – 18
Contenido
Objetivo General: ........................................................................................................................... 3
Objetivos Específicos: .................................................................................................................. 3
Introducción..................................................................................................................................... 3
Guía de preguntas .......................................................................................................................... 4
1.- ¿Qué es una proposición lógica? ............................................................... 4
¿Qué características debe poseer?.................................................................. 4
Ejemplos de proposiciones lógicas: ................................................................ 4
Ejemplos de expresiones que no son proposiciones lógicas: ...................... 4
2.- ¿Cómo se clasifican las proposiciones? .................................................... 5
¿Cómo se denotan?........................................................................................... 5
3.- ¿Qué entiende por Conectivas lógicas? ..................................................... 6
Ponga ejemplos: ................................................................................................ 6
4.- ¿Cuáles son las conectivas de negación? ................................................. 6
¿Cómo se expresa simbólicamente la tabla de verdad? ................................ 7
5.- ¿Cuáles son las conectivas de conjunción? .............................................. 7
¿Cómo se expresa simbólicamente la tabla de verdad?...................................... 8
Ponga ejemplos.................................................................................................. 8
6.- ¿En qué consisten las conectivas de disyunción? ................................... 8
¿Cómo se expresa simbólicamente la tabla de verdad?...................................... 8
Ponga ejemplos.................................................................................................. 9
7.- ¿Cómo se explican las conectivas condicionales? ................................... 9
¿Cómo se expresa simbólicamente la tabla de verdad? ................................ 9
8- ¿Cuáles son las conectivas bicondicionales? .......................................... 10
¿Cómo se expresa simbólicamente la tabla de verdad?.................................... 10
Ponga ejemplos................................................................................................ 11
9.- ¿Qué es el lenguaje simbólico dentro del discurso? .............................. 11
Explique utilizando ejemplos ......................................................................... 11
10.- ¿Qué es el lenguaje proposicional? ........................................................ 12
Explique utilizando ejemplos .......................................................................... 12
11.- ¿Explique reglas sintácticas?.................................................................. 12
Las reglas sintácticas sirven para dar forma a una aplicación ........................... 13
Explique utilizando ejemplos .......................................................................... 13
Conclusiones ................................................................................................... 14
Referencias ....................................................................................................... 15
Bibliografia ..................................................................................................................................... 15
Objetivos Específicos:
Diferenciar las proposiciones simples de las compuestas.
Construir proposiciones simples y compuestas.
Aplicar lo enseñado y entendido a nuestra vida cotidiana.
Clasificar diferentes proposiciones
Introducción
El ser humano a través de su vida diaria, se comunica con sus semejantes a través
de un lenguaje determinado (oral, escrito, etc.) por medio de las denominadas frases
u oraciones. Estas pueden tener diferentes significados pero siempre van a
resumirse a las formas de verdaderas o falsas siendo este el precedente
fundamental para el desarrollo humano. Lo importante en el desarrollo de esta
sesión es el hecho de que, a partir de los enunciados y de acuerdo a su significado
es posible establecer una proposición y a partir de un conjunto de estas podemos
llegar a una conclusión o inferencia, siendo la lógica la ciencia encargada del estudio
de estas.
En resumen, las Proposiciones Lógicas son expresiones de las que tienen sentido
decir que son verdaderas o que son falsas. También se les denomina simplemente
PROPOSICIONES.
Son aquellas que se pueden representar por una sola variable, es decir, por una
sola letra como:
p: Pamela tiene 20 años.
q: 5 x5 = 25.
¿Cómo se denotan?
Ponga ejemplos:
Es una conectiva lógica que enlaza dos o más enunciados simples y cuya
caracterización semántica es la siguiente:
Una conjunción de la forma “p & q”, donde “p” y “q” son cualesquiera enunciados
constatativos, y “&” es el signo de la conjunción, es verdadera si y sólo si tanto “p”
como “q” son verdaderas; y falsa si y sólo si “p” es falsa o “q” es falsa.
¿Cómo se expresa simbólicamente la tabla de verdad?
Su tabla de verdad es:
p q pɅq
V V V
V F F
F V F
F F F
Ponga ejemplos.
Proposiciones lógicas
Expresión Lenguaje natural Valor de
simbólica verdad
p: 9 es múltiplo de 3 V
q: 10 + 7 = 12 F
pɅq 9 es múltiplo de 3 Y 10 + 7 = 12 F
Es una conectiva lógica que enlaza dos o más oraciones. Puede ser inclusiva o
exclusiva. La caracterización semántica de estos dos tipos de disyunciones son
las siguientes:
Una disyunción inclusiva de la forma “p o q”, donde “p” y “q” representan
cualesquiera enunciados constatativos, es verdadera si y sólo al menos uno de los
enunciados, “p” o “q”, es verdadero; y es falsa si y sólo si al menos uno de ellos es
falso.
Una disyunción exclusiva de la forma “o bien p o bien q”, donde “p” y “q”
representan cualquiera enunciados constatativos, es verdadera si y sólo si al
menos uno de los enunciados “p” o “q” es verdadero, pero no ambos; y es falsa si
y sólo si ambos son falsos o ambos son verdaderos.
¿Cómo se expresa simbólicamente la tabla de verdad?
En su tabla de verdad se denota sus valores para todas las posibles
combinaciones de valores veritativos de p y q como sigue:
p q pVq
V V V
V F V
F V V
F F F
Ponga ejemplos.
Proposiciones lógicas
Expresión Lenguaje natural Valor de
simbólica verdad
p: 8 es menor que 5 F
q: 6 es mayor que 5 V
pVq 8 es menor que 5 o 6 es mayor que 5 V
p q p→q
V V V
V F F
F V V
F F V
Ponga ejemplos.
Proposiciones lógicas
Expresión Lenguaje natural Valor de
simbólica verdad
p→q 2+3=8→5<6 V
p→q 3-1=4→2<1 V
p→q Si 5 es primo, entonces 15 es un número F
par
p q p↔q
V V V
V F F
F V F
F F V
También se lee como:
“p si y solamente si q”.
“p es una condicional necesaria y suficiente para q”.
Ponga ejemplos.
Proposiciones lógicas
Expresión Lenguaje natural Valor de
simbólica verdad
p 2<4 V
q 2+6 < 4+6 V
p↔q 2 < 4 si y solo si 2 + 6 < 4 + 6 V
Conclusiones
Este trabajo nos ha permitido profundizar los conocimientos del uso de la lógica
para la resolución de problemas o la representación de la realidad a nivel de
proposiciones.
Referencias
Evandro Agazzi. 3ªedición 1979, pg. 72-73.
Evandro Agazzi. 3ªedición 1979, pg. 75-77.
Evandro Agazzi. 3ªedición 1979, pg. 67.
Evandro Agazzi. 3ªedición 1979, pg.87-90.
Bibliografia
Evandro Agazzi, la lógica simbólica, Ed Herder, 1967.
Nino B. Cocchiarella and Max A. Freund, Modal Lógica An Introduction to Its
Syntax and Semantics , Oxford 2008
Van Dalen, D., Logic and Structure, 2nd ed., Universitext, Springer-Verlag,
1983.
Badesa, C., Jané, I., Jansana, R., Elementos de lógica formal, Ariel, 1998.
http://revistas.ups.edu.ec/index.php/sophia/article/download/20.2016.03/105
6
https://www.fing.edu.uy/tecnoinf/mvd/cursos/mdl1/material/teo/buceo_noct/
mdl1-logicaProposicional.pdf
Author: Rod Rivers Logica Cambridge Ltd., 104 Hills Road,
Cambridge, CB2 1LQ, UK. Pages 481-482
New Orleans, Louisiana, USA — April 27 - May 02, 1991