Operadores Lógicos

LÓGICA
DEL PENSAMIENTO
División de la Lógica
Estudia Estructura
LÓGICA FORMAL
(lógica matemática)
Ejemplo:
p q
LÓGICA GENERAL
Estudia Contenido
LÓGICA DIALÉCTICA
Ejemplo: Si aumenta las
exportaciones en el país
entonces el Ecuador
crece económicamente.
Lógica del Pensamiento.- Operadores Lógicos
Lógica (concepto)
La Lógica es la Ciencia que expone las
leyes, modos y formas de raciocinio.-
Aporte de la Lógica a la Matemática

De acuerdo al concepto anterior,
podemos asegurar que la simbología que
usa la lógica, ayuda a la Matemática en
todos sus razonamientos.-
PROPOSICIÓN
Una proposición es toda oración de la cual se puede

decir que es verdadera o falsa.
Por ejemplo: V
Hoy es lunes
F
Toda proposición se la representa con letras minúsculas
y preferentemente las últimas del abecedario, o sea:
p, q, r, s, t, u
LOS CONECTIVOS LOGICOS

Los conectivos lógicos son símbolos que sirven para formar
proposiciones con otras proposiciones. Estos son:
PROPOSICIONES SIMPLES Y COMPUESTAS
Una proposición se dice que es simple o atómica, si no está

afectada por conectivos lógicos. Caso contrario, se dice que
la proposición es compuesta o molecular.
SIMPLE: p
PROPOSICION
COMPUESTA: p  q
OPERACIONES PROPOSICIONALES
La Negación
La negación de la proposición p es ~p, cuya tabla de
valores de verdad es la siguiente:
p ~p
V F
F V
Como conclusión podemos decir que la negación es

verdadera si la proposición simple es falsa y viceversa.
La disyunción o suma lógica

La disyunción de las proposiciones p y q es la proposición pvq,
donde p y q se llaman disyuntivos, cuya tabla de valores de
verdad es la siguiente:
p q pq
V V V p: estudio
q: veo TV
V F V
F V V p v q: estudio o veo TV
F F F
Como conclusión podemos decir que la disyunción es verdadera

si al menos uno de los disyuntivos también lo es.-
La conjunción o producto lógico

La conjunción de las proposiciones p y q es la proposición pq,
donde p y q se llaman conjuntivos, cuya tabla de valores de
verdad es la siguiente:
p q pq
V V p: estudio
V
q: veo TV
V F F
F V F p  q: estudio y veo TV
F F F
Como conclusión podemos decir que la conjunción es

verdadera si ambos conjuntivos también lo son.-
El condicional o la implicación
El condicional de las proposiciones p y q es la proposición pq,
donde p se llama antecedente y q consecuente, cuya tabla de
valores de verdad es la siguiente:
p q pq
V V V p: apruebo
V F F
q: te presto el libro
F V V
p  q: apruebo, entonces te
F F V presto el libro
Como conclusión podemos decir que el condicional es falso si
el antecedente es verdadero y el consecuente es falso (2º
línea de la tabla).-
Condiciones necesarias y suficientes
p q pq
V V V p condición SUFICIENTE para
q (q si p)
V F F
q condición NECESARIA para
F V V p (p sólo si q)
F F V
El bicondicional o la doble implicación

El bicondicional de las proposiciones p y q es la proposición
pq, cuya tabla de valores de verdad es la siguiente:
p q pq
V V V
p: apruebo
q: te presto el libro
V F F
F V p  q: solamente si
F
apruebo, te presto el libro
F F V
Como conclusión podemos decir que el bicondicional es

verdadero si los valores de verdad de las proposiciones simples
que la componen son iguales.-
La diferencia simétrica
V V F p: estudio
V F
q: veo TV
V
F V V
F F F
Como conclusión podemos decir que la diferencia simétrica es

verdadera si los valores de verdad de las proposiciones simples
que la componen son distintos.-
Ejemplos de Conectores
CONECTOR EXPRESIONES EQUIVALENTES
DISYUNCIÓN o
Y, Sin embargo, aunque, también, pero, además, a la vez,

CONJUNCIÓN
no obstante, etc.
CONDICIONAL Por consiguiente, puesto que, porque, ya que, etc.
NEGACIÓN No es cierto que, es falso que, no es el caso que, etc.

Operadores Lógicos
• Son términos funcionales que enlazan las proposiciones
simples para formar proposiciones compuestas.
Negador
Monádicos
Conjunción
Disyunción
Diádicos Disyunción Exclusiva
Condicional
Bicondicional
Simbología Lógicos
CONECTOR SÍMBOLO ESQUEMA SIGNIFICADO VALOR DE VERDAD
CONJUNCIÓN  pq pyq V si ambas proposiciones son V
DISYUNCIÓN F solo si ambas proposiciones

 pq poq
INCLUSIVA son F
DISYUNCIÓN p q F si ambas proposiciones

 opoq
EXCLUSIVA tienen igual valor de verdad
si p, entonces F solo si la primera proposición

CONDICIONAL  pq
q es V y la segunda es F
BICONDICIONAL ↔,≡ P↔Q Si p y solo si q
Lo opuesto al valor de la
NEGACIÓN ¬ p, ¬p no p
proposición
EJEMPLO DE USO
EJEMPLO ANÁLOGO EN
CONECTIVA NOTACIÓN
DE USO NATURAL EL LENGUAJE
NATURAL
Negación ¬,∼ ¬P no No está lloviendo.
Está lloviendo y la
Conjunción ∧,&,⋅ P∧Q y
calle está mojada.
Está lloviendo o la
Disyunción ∨ P∨Q o
calle está mojada.
Si está lloviendo,
Condicional →,⊃ P→Q si... entonces entonces la calle
está mojada.
Está lloviendo si y
Bicondicional ↔,≡ P↔Q si y solo si solo si la calle está
mojada.
Ni está lloviendo ni
Conjunción
↓ P↓Q ni... ni la calle está
Negativa
mojada.
TABLA DE VALORES DE VERDAD
Una tabla de valores de verdad de una proposición, es una

tabla que se arma con los posibles valores de verdad de las
proposiciones simples que la componen, con la finalidad de
obtener el valor de verdad de la proposición dada.-
Cantidad de valores de verdad debe llevar una tabla
nº valores  A' 2
n º proposiciones
2 n º proposiones
O sea que, si el número de proposiciones simples que

componen una proposición es 5, los valores de verdad
serán:
nº valores  2  32 5
Lógica Proposicional
Tautología
Definición
Se denomina tautología una proposición que es cierta para
cualquier valor de verdad de sus componentes. Por tanto, la
última columna de su tabla de verdad estará formada
únicamente por V.-
Por ejemplo:
p q (pq)  [(pq)  (q p)]
V V V V V V V
V F F V F F V
F V F V V F F
F F V V V V V
1 1 3 2
Contradicción
Definición
Se entiende por contradicción, aquella proposición que en
todos los casos posibles de su tabla de verdad su valor
siempre es F.
Por ejemplo:
p q (p q)  - [(p q)  (q  p)]
V V V F F V V V
V F F F V F F V
F V F F V V F F
F F V F F V V V
1 4 1 3 2
Contingencia
Definición
Se entiende por verdad contingente, o verdad de hecho,
aquella proposición que puede ser verdadera o falsa,
(combinación entre tautología y contradicción) según los
valores de las proposiciones que la integran
Por ejemplo:
p q (p q) v [(p q)  (q  p)]
V V V V V V V
V F F F F F V
F V F F V F F
F F V V V V V
1 1 3 2
LEYES LOGICAS
Una ley lógica es una proposición verdadera.-
1º) Involución
La negación de la negación de una proposición, es
equivalente a la misma proposición
p -(-p)  p
V V F V
F F V V
2 1
2º) Idempotencia de la conjunción
La conjunción de una misma proposición es equivalente a la

misma proposición.-
p (p  p)  p
V V V
F F V
1
3º) Idempotencia de la disyunción
La disyunción de una misma proposición es equivalente a la

misma proposición.-
p (p  p)  p
V V V
F F V
1
4º) Conmutatividad de la conjunción
La conjunción es conmutativa
p q (p  q)  (q  p)
V V V V V
V F F V F
F V F V F
F F F V F
1 1
5º) Conmutatividad de la disyunción
La disyunción es conmutativa
p q (p  q)  (q  p)
V V V V V
V F V V V
F V V V V
F F F V F
1 1
6º) Asociatividad de la conjunción

La conjunción es asociativa
p q r (p  q)  r  p  (q  r)
V V V V V V V V
V V F V F V F F
V F V F F V F F
V F F F F V F F
F V V F F V F V
F V F F F V F F
F F V F F V F F
F F F F F V F F
1 2 2 1
7º) Asociatividad de la disyunción

La disyunción es asociativa
p q r (p  q)  r  p  (q  r)
V V V V V V V V
V V F V V V V V
V F V V V V V V
V F F V V V V F
F V V V V V V V
F V F V V V V V
F F V F V V V V
F F F F F V F F
1 2 2 1
Álgebra Moderna – Lógica Proposicional
8º) Ley de De Morgan (de la conjunción)
La negación de una conjunción es equivalente a la

disyunción de las negaciones.-
p q -(p  q)  -p  -q
V V F V V F F F
V F V F V F V V
F V V F V V V F
F F V F V V V V
2 1 1 3 2
9º) Ley de De Morgan (de la disyunción)
La negación de una disyunción es equivalente a la

conjunción de las negaciones.-
p q -(p  q)  -p  -q
V V F V V F F F
V F F V V F F V
F V F V V V F F
F F V F V V V V
2 1 1 3 2
10º) Distributividad de la conjunción con respecto a la disyunción

La conjunción es distributiva con respecto a la disyunción
p q r (p  q)  r  (p  r)  (q  r)
V V V V V V V V V
V V F V F V F F F
V F V V V V V V F
V F F V F V F F F
F V V V V V F V V
F V F V F V F F F
F F V F F V F F F
F F F F F V F F F
1 2 1 3 2
11º) Distributividad de la disyunción con respecto a la conjunción

La disyunción es distributiva con respecto a la conjunción
p q r (p  q)  r  (p  r)  (q  r)
V V V V V V V V V
V V F V V V V V V
V F V F V V V V V
V F F F F V V F F
F V V F V V V V V
F V F F F V F F V
F F V F V V V V V
F F F F F V F F F
1 2 1 3 2
10º) Las implicaciones asociadas

p  q Directa q  p Recíproca
-p  -q Contraria -q  -p Contra - recíproca
pq Recíprocas
qp
Contrarias
Contrarias
-p  -q Recíprocas -q  -p
Propiedad
Las implicaciones contrarrecíprocas son equivalentes.
O sea que:
p q p  q  -q  -p
V V V V F V F
V F F V V F F
F V V V F V V
F F V V V V V
1 1 3 2
11º) Negación de una implicación

La siguiente proposición es una tautología, o sea:
p q (p  q)  -(p  -q)
V V V VV F F
V F F VF V V
F V V VV F F
F F V VV F V
1 3 2 1
Ahora: -(pq)  -[-(p  -q)  p  -q
Pero: -(pq)  -[-(p  -q)  -(-p  q)
Ahora: (pq)  -(p  -q)  -p  q
12º) La doble implicación y la implicación
La doble implicación es equivalente a la conjunción de la

implicación y su recíproca.
p q (p  q)  [(pq)  (qp)
V V V V V V V
V F F V F F V
F V F V V F F
F F V V V V V
1 1 3 2
13º) La diferencia simétrica y la doble implicación
La diferencia simétrica es equivalente a la negación de

la doble implicación.
p q (p  q)  - (p  q)
V V F V F V
V F V V V F
F V V V V F
F F F V F V
1 2 1

Operadores Lógicos

Hochgeladen von

Dokumentinformationen

Originaltitel

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Operadores Lógicos

Hochgeladen von

Copyright:

Verfügbare Formate

LÓGICA

Aporte de la Lógica a la Matemática

Una proposición es toda oración de la cual se puede

LOS CONECTIVOS LOGICOS

PROPOSICIONES SIMPLES Y COMPUESTAS

Una proposición se dice que es simple o atómica, si no está

Como conclusión podemos decir que la negación es

La disyunción o suma lógica

Como conclusión podemos decir que la disyunción es verdadera

La conjunción o producto lógico

Como conclusión podemos decir que la conjunción es

Condiciones necesarias y suficientes

El bicondicional o la doble implicación

Como conclusión podemos decir que el bicondicional es

Como conclusión podemos decir que la diferencia simétrica es

CONECTOR EXPRESIONES EQUIVALENTES

Y, Sin embargo, aunque, también, pero, además, a la vez,

CONDICIONAL Por consiguiente, puesto que, porque, ya que, etc.

NEGACIÓN No es cierto que, es falso que, no es el caso que, etc.

CONJUNCIÓN  pq pyq V si ambas proposiciones son V

DISYUNCIÓN F solo si ambas proposiciones

DISYUNCIÓN p q F si ambas proposiciones

si p, entonces F solo si la primera proposición

BICONDICIONAL ↔,≡ P↔Q Si p y solo si q

TABLA DE VALORES DE VERDAD

Una tabla de valores de verdad de una proposición, es una

Cantidad de valores de verdad debe llevar una tabla

O sea que, si el número de proposiciones simples que

Una ley lógica es una proposición verdadera.-

2º) Idempotencia de la conjunción

La conjunción de una misma proposición es equivalente a la

3º) Idempotencia de la disyunción

La disyunción de una misma proposición es equivalente a la

4º) Conmutatividad de la conjunción

5º) Conmutatividad de la disyunción

6º) Asociatividad de la conjunción

7º) Asociatividad de la disyunción

8º) Ley de De Morgan (de la conjunción)

La negación de una conjunción es equivalente a la

9º) Ley de De Morgan (de la disyunción)

La negación de una disyunción es equivalente a la

10º) Distributividad de la conjunción con respecto a la disyunción

11º) Distributividad de la disyunción con respecto a la conjunción

10º) Las implicaciones asociadas

11º) Negación de una implicación

12º) La doble implicación y la implicación

La doble implicación es equivalente a la conjunción de la

13º) La diferencia simétrica y la doble implicación

La diferencia simétrica es equivalente a la negación de

Das könnte Ihnen auch gefallen