You are on page 1of 15

TRABAJO GRUPAL

CURSO: 313-B PRIMER SEMESTRE


GRUPO: 7
TEMA: PROPOSICIONES Y CONECTIVAS LOGICAS

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

Docente. Pedro Luis González Rivera

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

Objetivo General: Definir y reconocer las proposiciones simples y compuestas;


además de eso entender el verdadero significado de cada caso que se presente.

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.

La lógica proposicional es una rama de la lógica que permite representar hechos


y/o expresiones del mundo real en un lenguaje representativo del conocimiento
mediante propiedades elementales para estudiar a través de proposiciones o
sentencias lógicas sus posibles evaluaciones de verdad.

La lógica proposicional toma un rol muy importante en el desarrollo de la inteligencia


artificial, y en otros aspectos de la informática.
Guía de preguntas

1.- ¿Qué es una proposición lógica?


Una proposición es una oración con valor referencial o informativo, de la cual se
puede predicar su veracidad o falsedad, es decir, que puede ser falsa o verdadera
pero no ambas a la vez.
La proposición es la expresión lingüística del razonamiento, que se caracteriza por
ser verdadera o falsa empíricamente, sin ambigüedades.

¿Qué características debe poseer?


Son proposiciones las oraciones aseverativas, las leyes científicas, las fórmulas
matemáticas, las fórmulas y/o esquemas lógicos, los enunciados cerrados o
claramente definidos. No son proposiciones las opiniones y suposiciones; los
proverbios, modismos y refranes; los enunciados abiertos no definidos; las
oraciones interrogativas, exclamativas, imperativas, desiderativas y dubitativas; las
interjecciones en general; ni las operaciones aritméticas.
El valor de verdad de una proposición depende no solamente de las relaciones
entre las palabras del lenguaje y los objetos en el mundo, sino también del estado
del mundo y del conocimiento acerca de ese estado.
Las proposiciones lógicas serán denotadas con letras minúsculas generalmente
p, q, r…etc. A la veracidad o falsedad de un enunciado (proposición) se la
denomina VALOR VERATIVO o VALOR DE VERDAD.

Ejemplos de proposiciones lógicas:

Proposiciones lógicas Valor de verdad


p: Lima es la capital del Perú. Verdadera (V).
q: 17- 6 =10. Falso (F).
r: La UNAM es una universidad privada Falso (F).

Ejemplos de expresiones que no son proposiciones lógicas:

Expresiones que no son Valor de verdad


proposiciones lógicas
Buenos días. No posee/No está definido.
No falles. No posee/No está definido.
¿Quién llamo por teléfono? No posee/No está definido.
¡Ingrese a la universidad! No posee/No está definido.

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.

2.- ¿Cómo se clasifican las proposiciones?


Existen dos clases de proposiciones:
Proposiciones simples o atómicas: Son aquellas que carecen totalmente de
conectivos lógicos y que, por lo tanto, son inseparables. En este grupo se
encuentran las proposiciones predicativas, que son aquellas en la cual se afirma o
atribuye una característica respecto de un objeto.

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.

Proposiciones compuestas o moleculares: Son aquellas que resultan de la


combinación de varias proposiciones simples, unidas por uno o más conectivos
lógicos y que pueden ser separadas y descompuestas en proposiciones más
simples. Su valor de verdad depende del de las proposiciones que la componen.
Son aquellas que se pueden representar por lo menos por una variable y algún o
algunos de los símbolos que representan a las palabras siguientes:

Palabra: No Implica O Y Si y solo O bien ”p”


si o bien “q”
Símbolo: ¬, ~ → V Λ, &, · ↔, ≡ W

¿Cómo se denotan?

Las proposiciones se denotan con letras minúsculas.


Ponga ejemplos

3.- ¿Qué entiende por Conectivas lógicas?


Son aquellos que sirven para formar proposiciones más complejas (compuestas o
moleculares). Tipo de expresión de un lenguaje lógico que nos permite formar
formulas complejas. Estas conectivas son funciones veritativas, es decir,
funcionan como operaciones que nos permiten determinar el valor de verdad de
una fórmula compleja con base en el valor de verdad de las oraciones simples
que la forman. En la lógica proposicional, son usualmente la conjunción, la
disyunción, la negación, la implicación y la doble implicación

Ponga ejemplos:

4.- ¿Cuáles son las conectivas de negación?

Es una conectiva lógica que tiene la función de invertir el valor de verdad de la


oración a la que se añade. Su caracterización semántica es la siguiente:
Una negación de la forma “no-p”, donde “p” es cualquier enunciado constatativo,
es verdadera si y sólo si “p” es falsa; y es falsa si y sólo si “p” es verdadera.
En el lenguaje natural, se usan expresiones como “no”, “es falso que…”, “no es
verdad que…”, y algunos prefijos en expresiones como “ineficiente”, “imposible”,
“inmaduro”, etc. En el lenguaje lógico usualmente se representa con los signos “-”,
“~”, “¬”.

¿Cómo se expresa simbólicamente la tabla de verdad?


Su tabla de verdad es:
P ~p
V F
F V

Ponga ejemplos: Sean las proposiciones


Proposiciones lógicas
Expresión Lenguaje natural Valor de
simbólica verdad
p: 3 x 4 = 12 V
q: Visual Basic 6.0 no es un lenguaje de F
programación

Entonces sus negaciones son:


Proposiciones lógicas
Expresión Lenguaje natural Valor de
simbólica verdad
~p: No es cierto que 3 x 4 = 12 ( o sino, 3 x 4 ≠ F
12)
~q: Visual Basic 6.0 es un lenguaje de V
programación

5.- ¿Cuáles son las conectivas de conjunción?

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

6.- ¿En qué consisten las conectivas de disyunción?

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

7.- ¿Cómo se explican las conectivas condicionales?


Es una conectiva lógica que enlaza dos enunciados, y dice que uno de ellos, el
antecedente, es una condición suficiente para el otro, el consecuente. Su
caracterización semántica es la siguiente:
Un condicional de la forma “si p, entonces q”, donde “p” y “q” son cualesquiera
enunciados constatativos, es verdadero si y sólo si el antecedente es falso o el
consecuente es verdadero; y es falso si y sólo si el antecedente es verdadero pero
el consecuente es falso.
¿Cómo se expresa simbólicamente la tabla de verdad?

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

La proposición “p” es llamada ANTECEDENTE y la proposición “q”


CONSECUENTE.
Esta proposición “p → q” también se lee de las siguientes maneras:
“p implica q”
“p es una condición suficiente para que q”
“q a menos que ~ p”
“es suficiente que p para que q”

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

8- ¿Cuáles son las conectivas bicondicionales?

Se denota “p ↔ q”, y se lee “p si solo si q”. Es aquella proposición compuesta que


es VERDADERA en los casos en que ambas p y q tengan varios valores iguales
(ambas verdaderas o ambas falsas); es FALSA en los casos en p y q tengan
valores veritativos opuestos.
¿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 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

9.- ¿Qué es el lenguaje simbólico dentro del discurso?


Cuando se busca precisión y claridad en una idea compleja, resulta inadecuado
expresar el pensamiento con lenguaje ordinario, ya que distintas personas podrían
interpretar el contenido de manera diferente. Para resolver la ambigüedad del
idioma, la lógica ha generado otros lenguajes artificiales para resolver este tipo de
problema. En estos lenguajes artificiales, cada símbolo tiene una sola
interpretación, por lo que resulta adecuado para el manejo de ideas complejas
minimizando el error en su tratamiento. Por eso, el lenguaje lógico es usado
ampliamente en el discurso científico.
El lenguaje simbólico es la forma de comunicación por medio de la cual los seres
humanos interpretan algún símbolo y obtienen un mensaje a partir de él.
Explique utilizando ejemplos

1- Símbolos religiosos 2. Muestras de afecto


3. Muestras de rechazo 4. Señales de tránsito

10.- ¿Qué es el lenguaje proposicional?


Dentro de la lógica formal, el lenguaje proposicional estudia las propiedades de los
conectivos proposicionales como y, o, no, si y solo si y entonces entre otros,
usados en el desarrollo de sistemas lógicos en la lógica matemática.
Para sintetizar gramaticalmente el modelo matemático de lenguaje será necesario
introducir unos símbolos para denominar las frases atómicas y otros símbolos,
distintos, para denominar los conectivos.

Explique utilizando ejemplos


En las frases siguientes hay tres niveles de lenguaje; usamos comillas y dobles
comillas para indicarlo:
EJEMPLO 1.- “‘Un famoso poeta es menos inventor que descubridor’, dijo
Averroes”, escribe Jorge Luis Borges.
EJEMPLO 2.- Dice Hipólito en su obra Refutatio omnium haereseum: “la frase ‘el
bien y el mal son uno’ fue escrita por Heráclito”.
EJEMPLO 3.- Es verdad que Valle Inclán ha escrito: “A bordo de la Dalila, lo
recuerdo con orgullo, asesiné a Sir Roberto Yones”.

11.- ¿Explique reglas sintácticas?


Son los métodos en los que se puede validar o dar forma a una aplicación, siendo
solamente un criterio que busca evaluar la combinación de distintos símbolos, y su
correcta aplicación en forma gramatical, teniendo por todo lado tener que hacer un
análisis
También puede ser la producción de sentencias o instrucciones validas que
permiten y dan forma a un programa
Las reglas sintácticas permiten reconocer si una cadena o serie de símbolos es
correcta gramatical mente

Las reglas sintácticas sirven para dar forma a una aplicación


 Sirve para evaluar la combinación de distintos términos
 Sirve para analizar la relación existente entre los distintos símbolos o signos
del lenguaje
 Sirve para producir sentencias o instrucciones validas
Explique utilizando ejemplos
Las Formulas Bien Construidas (fbc) del lenguaje proposicional se definen
recursivamente con la aplicación de las siguientes reglas:
1. Toda Letra Proposicional es una formula bien construida del lenguaje. A estas
fórmulas se las denomina Formulas Atómicas.
2. Si A y B son fórmulas del lenguaje, entonces: ¬A, ¬ B, (A ∧ B), (A ∨ B), (A → B),
(A ↔ B) también son fórmulas del lenguaje.
3. Son fórmulas del lenguaje únicamente las obtenidas con la aplicación de las
reglas 1 y 2.
La descripción de estas tres reglas contempla una definición recursiva.
CASO BÁSICO: Regla 1.
PROCESO INDUCTIVO: Reglas 2 y 3
Ej.: Dado el conjunto P de letras proposicionales: P {p, q, r, s}
Son formulas del lenguaje:
- p (formula atómica) por la regla 1.
- ¬s, (p→q) ∧ r, ((p→q) →r) →t (por la regla 2.)
El uso adecuado de paréntesis es muy importante para definir las sub estructuras
de una formula. Por lo tanto:
p ∧ q → r es diferente a (p ∧ q) →

Conclusiones

La lógica proposicional es una de las piezas fundamentales de la Inteligencia


Artificial, ya que para realizar los cambios necesarios para la evolución de esta
ciencia, se precisa de un lenguaje formal para representar los hechos que se
reciben del mundo real y el uso de las proposiciones. El utilizar proposiciones es
una señal que encaja en forma perfecta en este ámbito. Es un modo sencillo y
práctico de resolver un problema, considerando que se puede resolver
disgregando el problema en proposiciones u oraciones sencillas que permiten
analizar los hechos y tomar decisiones, es decir, crear nuevas proposiciones u
oraciones sencillas o compuestas que se incorporan a la base de conocimiento,
permitiendo el incremento y mejora de esta.

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