REPUBLICA BOLIVARIANA DE VENEZUELA

MINISTERIO DEL PODER POPULAR PARA LA EDUCACIÒN

LICEO E.T.C.R.Z FRANCISCO JIMENEZ VALERA

BARQUISIMETO – ESTADO LARA

LOGICA PROPOSICIONAL Y SU REPRESENTACION

EN EL LENGUAJE COTIDIANO

PARTICIPANTE: DANIELA YENSIBEL

ARANGUREN SILVA

AÑO: 5TO

SECCIÒN: “A”

CATEDRA: INFORMATICA

PROFESORA: GREGORIA DURAN

CONECTIVOS LOGICOS:

Los conectivos lógicos son símbolos usados para combinar proposiciones simples

dadas, produciendo así otras llamadas proposiciones compuestas.

NEGACIÓN:

La negación de una proposición es una nueva proposición que tiene un valor de

verdad opuesto a la proposición original. Es decir, si el valor de verdad de una
proposición p es verdadero, entonces el valor de verdad de ~ p es falso.

La tabla de verdad para el conectivo ~ está dada por

p ~p

V F

F V

CONJUNCIÓN:

La conjunción es la proposición compuesta que resulta de conectar dos

proposiciones, p y q, mediante el conectivo ʌ. Esta proposición compuesta de pʌq de
nota por  y se lee p y q.

La tabla de verdad para el conectivo ʌ  está dada por

p q pʌq

V V V

V F F
 F V F

F F F

Se puede ver que para que una proposición compuesta pʌq tenga valor de verdad
verdadero, ambas proposiciones simples deben tener valor de verdad verdadero.

DISYUNCIÓN:

La disyunción es la proposición compuesta que resulta de conectar dos

proposiciones, p y q, mediante el conectivo pvq. Esta proposición compuesta de
denota por pvq y se lee p o q.

La tabla de verdad para el conectivo v está dada por

p q pvq

V V V

V F V

F V V

F F F
DISYUNCIÓN INCLUSIVA:

Como hemos dicho, la disyunción "p q" será verdadera en caso de que p sea
verdadera, o q sea verdadera, o tanto p como q sea verdadera: se trata de
la disyunción inclusiva. Siempre que utilicemos en el lenguaje natural la conjunción
disyuntiva "o" en este sentido, utilizaremos el símbolo "v".

Los ejemplos que hemos venido viendo hasta este momento se basan en
esta interpretación inclusiva de la disyunción. Por ejemplo, cuando decimos que para
optar a un puesto de trabajo hay que saber inglés o francés, interpretamos que alguien
que sabe inglés puede optar a dicho trabajo, alguien que sabe francés también, y, por
supuesto, alguien que sepa tanto inglés o francés también.

DISYUNCIÓN EXCLUSIVA:

Pero también existe la llamada disyunción exclusiva, que viene a decir que al

menos una de las opciones es verdadera, pero sólo una. En este sentido exclusivo, si
en "pvq", p es verdadera y q también lo es, la disyunción exclusiva es falsa.

Por ejemplo, en el lenguaje natural empleamos este sentido exclusivo de la

disyunción cuando decimos que alguien es cristiano o musulmán. Si alguien es
cristiano, si es consecuente con ello no podrá ser musulmán, y viceversa. O cuando
decimos que un examen se aprueba o se suspende.

En este caso se utiliza el símbolo "v" o bien el símbolo "w". La tabla de verdad de la
disyunción exclusiva sería la siguiente:

p q pvq
V V F
V F V
F V V
F F F
CONDICIONAL:

La condicional es la proposición compuesta que resulta de conectar dos

proposiciones, p y q, mediante el conectivo. Esta proposición compuesta de denota
por p→q y se lee p implica q. En esta proposición compuesta, la proposición
simple p se llama antecedente, mientras que la proposición simple q se
llama consecuente.

La tabla de verdad para el conectivo → está dada por

p q p→q 

V V V

V F F

F V V

F F V

Se puede ver que una proposición compuesta p→q  tiene valor de verdad falso

solamente cuando el antecedente es verdadero y el consecuente es falso. En cualquier
otro caso, el valor de verdad de la proposición compuesta es verdadero.

BICONDICIONAL

La bicondicional es la proposición compuesta que resulta de conectar dos

proposiciones, p y q, mediante el conectivo <-> Esta proposición compuesta se
denota por p<->q y se lee p si y solo si q.
La tabla de verdad para el conectivo p<->q  está dada por

p q p<->q  

V V V

V F F

F V F

F F V

Se puede ver que la proposición compuesta p tiene valor de verdad verdadero

siempre que las proposiciones simples tienen el mismo valor de verdad. Es cualquier
otro caso, la proposición compuesta tiene valor de verdad falso.

SIMBOLOGIA DE LOS CONECTIVOS LOGIGOS

NOMBRE LÓGICA SIMBOLOGIA

Negación ~
Conjunción ʌ
Disyunción V
Inclusiva V
Exclusiva VoW
Condicional →
Bicondicional <->

REPRESENTACION EN LENGUAJE NATURAL Y SIMBOLOCO

LENGUAJE NATURAL:

En la gramática de los lenguajes naturales, dos frases pueden unirse mediante una
conjunción gramatical para formar una oración gramaticalmente compuesta. Algunas
de estas conjunciones gramaticales, pero no todas, son funciones de verdad. Por
ejemplo, considere las siguientes frases:

A: Juan subió la montaña.

B: Eduardo subió la montaña.
C: Juan subió la montaña y Eduardo subió la montaña.
D: Juan subió la montaña, por lo tanto Eduardo subió la montaña.

Las expresiones «y» y «por lo tanto» son conjunciones gramaticales que unen las

oraciones (A) y (B) para formar las oraciones compuestas (C) y (D). La y de (C) es un
conector lógico, ya que da el valor de verdad de (C) está completamente determinado
por el valor de (A) y (B), tiene sentido para el estado (A) y (B) con el resultado(C).
Del mismo modo, por lo tanto en (D) es conector lógico, ya que para (A) y (B) con el
resultado (D).

LENGUAJES FORMALES O SIMBOLICO:

En los lenguajes formales, las funciones de verdad son representadas por símbolos
inequívocos. Estos símbolos se llaman "conectivos lógicos", "operadores lógicos",
"operadores proposicionales", o, en la lógica clásica, la "de funciones conectivos de
verdad." Véase fórmulas bien formadas para saber las reglas que permiten las nuevas
fórmulas bien formadas sean construidas al juntar otras fórmulas bien formadas
utilizando conectivos de funciones de verdad.

Los conectivos lógicos pueden ser utilizados para conectar más de dos
afirmaciones, entonces es común hablar de "conector lógico n-ario".

TABLAS DE VERDAD:

Definimos una tabla de verdad como un arreglo que nos permite tener los posibles
valores de verdad de una proposición compuesta a partir de los valores de verdad de
las proposiciones simples.

REDACCION DE MI INFORMCION PERSONAL UTILIZANDO LOS

CONECTIVOS LOGICOS

Nací en Barquisimeto en un hogar lleno de amor y de valores, mi nombre es

Daniela Yensibel Aranguren Silva, desde mi infancia siempre me ha gustado dibujar,
colorear, pintar todo lo artístico me llama la atención, porque es algo natural que se
me da, sin embargo creo que necesito estudiar más esas aéreas, el cual me permitan
perfeccionar las técnicas que de manera empírica lo venía haciendo, no obstante en la
actualidad estoy estudiando en el liceo E.T.C.R.Z Francisco Jiménez Valera, 5to año
de bachillerato puesto que ya me falta poco para finalizar y graduarme, por ello debo
ser constante y lograr mis metas ya que quiero formarme profesionalmente como una
ilustradora y a futuro me visualizo aproximadamente en 10 años con mi propio
estudio de animación y brindar oportunidades a otras personas para superarse es decir
algo que comenzó como un hobby como el dibujar se está cristalizando con mi
esfuerzo y dedicación, claro está apoyada por mis padres, profesores y amistades. Por
ende invito a todos los jóvenes que se animen a realizar sus sueños y dejen una huella
importante en la sociedad el cual vivimos, todo con amor es posible.

CONECTIVOS LÓGICOS BÁSICOS APLICADOS EN EL EJERCICIO DE

REDACCIÓN DEL PROYECTO DE VIDA

CONECTIVOS:

PORQUE

CAUSA: DADO QUE

YA QUE
 PUESTO QUE

POR LO TANTO

EN CONSECUENCIA

CONSECUENCIA: POR ELLO

ENTONCES

NO OBSTANTE

CONTRASTE: SIN EMBARGO

PERO

EN OTRAS PALABRAS

EXPLICACIÒN: ES DECIR

DICHO EN OTRO MODO

EJERCICIO CONDICIONAL
En los polos el frío es intenso únicamente si los planetas giran en torno al sol.
Convenciones simbólicas:
- p:
en los polos el frío es intenso
- q:
los planetas giran en torno al sol
Formalización:
p → q
EJERCICIO DISYUNCIO

Siempre que los herbívoros corren o el frío en los polos es intenso, los planetas giran
en
torno al sol.
Convenciones simbólicas:
- p:
los herbívoros corren
- q:
el frío en los polos es intenso
- r:
los planetas giran en torno al sol
Formalización:
p ∨ q → r

EJERCICIO  DE CONJUNCION
Si es cierto que Aristóteles nació en Esta gira y que fue tutor de Alejandro Magno y,
Además, que si nació en Esta gira era macedonio por su nacimiento, entonces era
efectivamente macedonio.
Convenciones simbólicas:
- p:
Aristóteles nació en Esta gira
- q:
Aristóteles fue tutor de Alejandro Magno
- r:
Aristóteles era macedonio por su nacimiento
Formalización:
(p ∧ q) ∧ (p → r) → r