Академический Документы
Профессиональный Документы
Культура Документы
Lgica y Funciones
CONECTIVOS LGICOS
3. La Disyuncin Inclusiva
1. La Negacin
Se simboliza como ~ p y se lee no p. La negacin de una proposicin
p adquiere el valor veritativo opuesto de la proposicin p.
Tabla de verdad
Simbologa
Sinnimos
p
~p
~p
p
Np
no
jams
nunca
no es cierto que
no es verdad que
no es el caso que
es falso que
pq
V V
V F
F V
F F
pq
F V
F F
pq
A pq
o
o es que
salvo que
a menos que
excepto que
4. La Condicional
2. La Conjuncin
pq
p&q
pq
K pq
y
sino
pero
adems
aunque
tambin
a la vez
sin embargo
no obstante
pq
F V
F F
pq
p q
C pq
Si entonces
luego
por ello
por ende
por lo tanto
en conclusin
por consiguiente
5. La Replica Material
Se simboliza como p q y se lee p puesto que q. La rplica material
es falso cuando el antecedente es verdadero y el consecuente es falso,
en cualquier otro caso ser verdadero. El antecedente es q y el
consecuente es p.
Tabla de verdad
Simbologa
Sinnimos
p
p q
F V
F F
pq
ya que
porque
cuando
dado que
puesto que
siempre que
debido a que
6. La Bicondicional
Se simboliza como p q y se lee p si y solo si q. La Bicondicional es
verdadero cuando ambos son verdaderos ambos son falsos; y es falso
cuando uno es verdadero y el otro es falso. Es decir Si son iguales es
verdadero y si son diferentes es falso.
Tabla de verdad
Simbologa
Sinnimos
p
p q
F V
F F
pq
p q
E pq
si y solo si
siempre y cuando
cuando y solo cuando
entonces y solo entonces
es una condicin necesaria
y suficiente
7. La Disyuncin Exclusiva
Se conoce tambin como disyuncin fuerte. Se simboliza como p q y
se lee O es p o es q. La disyuncin exclusiva es falso cuando ambos son
verdaderos ambos son falsos; y es verdadero cuando uno es verdadero
y el otro es falso. Es decir si son iguales es falso y si son diferentes es
verdadero.
Tabla de verdad
Simbologa
Sinnimos
p q p q
pq
O o
V V
F
pq
O bien o bien
J pq
V F
V
F V
V
F F
F
8. La Disyuncin Exclusiva
Se simboliza como p q y se lee No es p y no es q. La negacin
conjunta es la negacin de la disyuncin, es decir, es verdadero cuando
los dos son falsos, en cualquier otro caso es falso.
Tabla de verdad
Simbologa
Sinnimos
p q p q
pq
No y no
V V
F
V F
F
F V
F
F F
V
9. La Disyuncin Exclusiva
Se simboliza como p | q y se lee No es p o no es q. La negacin
alterna es la negacin de la conjuncin, es decir, es falso cuando los dos
son verdaderos, en cualquier otro caso es verdadero.
Tabla de verdad
Simbologa
Sinnimos
p q p| q
p|q
No o no
V V
F
V F
V
F V
V
F F
V
PROBLEMAS PROPUESTOS
Lgica y Funciones
Lgica y Funciones
1.
2.
2.
3.
4.
3.
4.
5.
6.
7.
5.
6.
7.
8.
8.
9.
9.
diferencia 67.