lOMoARcPSD|44257277
107 TP1 27921204 2023-2
Logica (Universidad Nacional Abierta)
Scan to open on Studocu
Studocu is not sponsored or endorsed by any college or university
Downloaded by Juan Carlos Sarria Underwood (juansarria1205@[Link])
lOMoARcPSD|44257277
Universidad Nacional Abierta
Centro local Bolívar
Conectivas lógicas
José Angel González Torres
CI: 27921204
Lógica (107)
Guasipati, julio de 2023.
Downloaded by Juan Carlos Sarria Underwood (juansarria1205@[Link])
lOMoARcPSD|44257277
Conector lógico.
Son palabras o expresiones que sirven para relacionar las ideas. Cumplen una función muy
importante porque le dan lógica a la información que se incluye en una oración.
Proposición.
En términos generales, es una expresión equivalente de una oración simple aseverativa, una oración
en la que se afirma que algo es, que algo existe o que posee determinada característica. Oración
declarativa que puede ser verdadera o falsa.
Las proposiciones se diferencian de los juicios ya que las primeras proponen algo sobre la realidad
y los segundos afirman o niegan algo de ello. Es decir, las proposiciones son el producto lógico de
los juicios.
Conectivas lógicas y el lenguaje natural.
Las conectivas lógicas son símbolos o palabras que se utilizan para conectar dos fórmulas bien
formadas o sentencias (atómicas o moleculares) de modo que el valor de verdad de la formula
compuesta depende del valor de verdad de las formulas componentes.
Lenguaje natural lengua o idioma hablado o escrito por humanos para propósitos generales de la
comunicación. En la gramática de los lenguajes naturales, dos frases pueden unirse mediante una
conjunción gramatical para formar una oración gramaticalmente compuesta.
Vocabulario básico de la lógica proposicional.
Variables proposicionales. Son los símbolos que sustituyen las proposiciones o enunciados. Se
lama variable porque su significado va cambiando en las diferentes argumentaciones o expresiones.
Se han acordado 5 variables o letras como símbolo (P,Q,R,S,T) si hace falta más variables se
recorre a subíndices. Una variable como por ejemplo (p) puede simbolizar (la tierra es un planeta o
todos los planetas giran en torno al sol. Por ello siempre es preciso indicar la preposición que se
simboliza con la variable.
Conectores proposicionales. Son las partículas de significado no variable que tienen una función
de alterar, relacionar o conectar enunciados atómicos haciéndolos complejos. Las más frecuentes
son la negación, la conjunción, la disyunción, el condicional y el bicondicional.
Signos de agrupación. Sirven para evitar caer en la ambigüedad cuando hacemos muchas
combinaciones de proposiciones y conectivas lógicas. Esto nos obliga simbólicamente a definir una
jerarquía en las proposiciones y el y el orden de cómo debe desarrollarse un esquema molecular
cuando se trata de tablas de verdad.
Downloaded by Juan Carlos Sarria Underwood (juansarria1205@[Link])
lOMoARcPSD|44257277
Representación simbólica de conectores lógicos.
Conector Expresión en Símbolo Presentación
Lenguaje natural
Negación No es cierto que ~ ~P
(NO)
Conjunción …Y… ^ p^q
Disyunción …O… v pvq
inclusiva
Condicional Si… entonces… -> p->q
Bicondicional Si solo Si <-> p<->q
Disyunción O…O… p q
exclusiva
Significado de conectivas.
Disyunción: Se representan dos enunciados separadas por la expresión (O) basta con que sea
verdadera para que se cumpla la proposición. Su símbolo es V.
Conjunción: Es cuando dos proposiciones simples se combinan mediante la expresión (Y) y la
proposición compuesta resultante se le llama conjunción (p^q) . Su símbolo es ^.
Negación: Si p es una proposición fundamental, de esta se puede formar otra proposición que se le
llama negación de p, escribiendo (es falso que) antes de p, o cuando es posible, se inserta en p la
palabra (no). Su símbolo es ~.
Condicional: Es aquella proposición compleja cuya conectiva dominante es el condicional, es
decir, aquella expresión apofanatica que tiene la forma (p ->q) y que se lee (si p, entonces q) donde
A el antecedente y B el consecuente. Su símbolo es ->.
Bicondicional: También llamado equivalencia o implicación doble, es una proposición de la forma
(p si y solo si q) en la cual tanto p como q son ambas ciertas o ambas falsas. También se dice que q
es una condición necesaria y suficiente para p (p<->q) su símbolo es <->.
Downloaded by Juan Carlos Sarria Underwood (juansarria1205@[Link])
lOMoARcPSD|44257277
Ejercicios:
1) Sea p: Enrique escribe cartas y q: Enrique lee versos y sea r: Estudia matemáticas, escribe
cada uno de los siguientes enunciados de manera simbólica
I) Enrique escribe cartas o lee versos, pero no estudia matemáticas
(p^q)~r
II) Enrique escribe cartas y lee versos, o no escribe cartas y estudia matemáticas
(p^q)~(p^r)
III) No es cierto que enrique escribe cartas, pero no estudia matemáticas
~p¬r
IV) No es cierto que enrique estudia matemáticas o lee versos, pero no escribe cartas
~(r˅q)¬p
2) Construir la tabla de verdad de las siguientes proposiciones:
p ̶ >(q^~p)
p q ~p q^~p p ̶ >(q^~p)
V V F V V
V F F V V
F V V V F
F F V V F
3) Determina si las proposiciones son Tautologías, contradicción o contingencia:
Es una proposición de contingencia ya que al realizar la tabla notamos que en el resultado
algunas son verdaderas y otras son falsas.
Downloaded by Juan Carlos Sarria Underwood (juansarria1205@[Link])
lOMoARcPSD|44257277
Downloaded by Juan Carlos Sarria Underwood (juansarria1205@[Link])