Beruflich Dokumente
Kultur Dokumente
Preposiciones
Jesús J Nelo P
C.I 17.227.486
Preposiciones
Una preposición es un juicio declarativo del cual tiene sentido que es
Verdadero (V) o Falso (F) pero no ambas cosas simultáneamente.
Ejemplo:
a- No corras.
b- Donde vives.
c- Tienes hermanos.
Operaciones Veritativas
Los Conectivos u Operadores Lógicos son símbolos o conectivos que nos
permiten construir otras preposiciones mas complejas.
Conectivos Lógicos
Los conectivos lógicos elementales nos permitirán definir
operaciones con preposiciones. Estas operaciones, como veremos
oportunamente, tienen la característica de que el valor lógico de la
preposición resultante solo depende de los valores lógicos de las
preposiciones componentes.
La Negación
Si p es una proposición, entonces, su negación será otra proposición
que se lee ~p; cuyo valor lógico (VL) viene dado por la negación de
dicha proposición.
P ~p p q
1 0 V F
0 1 F V
Lo cual indica:
Negación:
~p: no es cierto que Barquisimeto es la ciudad musical.
~p: Barquisimeto no es la ciudad musical.
~p: es falso que Barquisimeto es la ciudad musical.
~p: de ninguna manera Barquisimeto es una ciudad musical
La Conjunción
Si tenemos dos proposiciones p y q, su conjunción será la proposición
p^q que se lee “p y q”; y su valor lógico lo indica la siguiente tabla:
p q p^q
1 1 1 VL(p^q)= valor min. (VL(p), VL(q))
1 0 0
0 1 0
0 0 0
Ejemplo:
p: Maracay queda en el Edo Aragua.
q: Coro queda en el Edo falcón.
r: Valencia queda en Edo Miranda
Conjunción:
1. p^q: Maracay queda en el Edo Aragua y Coro queda en el Edo Falcón
VL(p^q)= 1 ya que VL(p)= 1 y VL(q)= 1
Disyunción:
1. pvq: el Bosque Macuto está en Lara o el Páramo La Culata está en
Trujillo. VL(pvq)= 1 ya que VL(p)=1 y VL(q) = 0.
La Disyunción Exclusiva
Si tenemos dos proposiciones p y q, su disyunción exclusiva será la
proposición pvq que se lee “o p o que” y su valor lógico lo indica la
siguiente tabla:
p v q
V F V Es decir, la disyunción exclusiva es falsa solo cuando
los valores de p y q son iguales:
F V V
VL(pvq) = 0 si VL (p) = VL ( q )
V V F
F F F
Ejemplo:
p: 51 es múltiplo de 3
q: 51 es divisible entre 2
r: 51 es un numero impar
Disyunción Exclusiva:
1. ó 33 es múltiplo de 3 ó 33 es divisible entre 2
VL(pvq)= 1 ya que VL(p)= 1 y VL(q)= 0
El Condicional
Si tenemos dos proposiciones p y q, el condicional con antecedente p y
la consecuente q es la proposición p q, que se lee “si p, entonces
que” y su valor lógico lo indica la siguiente tabla:
p q p q
1 1 1
1 0 0
0 1 1
0 0 1
Ejemplo:
La Bicondicional
Si tenemos dos proposiciones p y q, llamamos Bicondicional de p y q a
la proposición p q que se lee “p si solo si q”, o “p es condición
necesaria y suficiente para q” y su valor lógico se indica en la
siguiente tabla:
p q p q
VL(p q)= 1 si VL(p) = VL(q)
1 1 1
1 0 0 VL(p q)= 1 si VL(p) ≠ VL(q)
0 1 0
0 0 1
a: 2 + 1 = 3 si y sólo si 2< 3
b: 2 + 1 = 3 si y sólo si 2 > 3
c: 2 + 1 = 4 si y sólo si 2 > 3
d: 2 + 1 = 4 es condición necesaria y suficiente para que 2< 3.
Posibilidades de combinación:
Para una proposición (n = 1), tenemos 21 = 2 combinaciones
Para dos proposiciones (n = 2), tenemos 22 = 4 combinaciones
Para tres proposiciones (n = 3), tenemos 2 3 = 8 combinaciones
Para n proposiciones tenemos 2n combinaciones
Tautologías y Contradicciones
Proposición Tautológica o Tautología:
Proposición molecular verdadera, en donde, todos los valores de
verdad que aparecen en su tabla de verdad son 1.
Contradicciones:
Proposición molecular falsa, en donde, todos los valores de verdad
que aparecen en su tabla de verdad son 0.
Leyes del Algebra de Proposiciones
7. Leyes de Morgan
7.1. ∼ ( P ∨ q ) ≡ ∼ P ∧ ∼ q 7.2. ∼ ( P ∧ q ) ≡ ∼ P ∨ ∼ q
Otras Equivalencias Notables
a. p→ q ≡ ∼ p ∨ q (Ley del condicional)
b. p↔ q ≡ (p→ q) ∧ (q→ p) (Ley del bicondicional)
c. p ∨ q ≡ ( p ∧ ∼ q ) ∨ ( q ∧ ∼ p ) (Ley de disyunción exclusiva)
d. p→ q ≡ ∼ q→ ∼ p (Ley del contrarrecíproco)
e. p ∧ q ≡ ∼ ( ∼ p ∨ ∼ q )
f. ( (p ∨ q ) → r ) ≡ ( p → r ) ∧ (q → r ) (Ley de demostración por casos)
g. (p→ q) ≡ (p ∧ ∼ q→ F) (Ley de reducción al absurdo)
Razonamiento
Un razonamiento o una inferencia es la aseveración de que una
proposición, llamada conclusión es consecuencia de otras proposiciones
dadas llamadas premisas.
Donde: Ejemplo
Si hoy es domingo, entonces mañana habrá trabajo.
Si hoy es sábado, entonces mañana no trabajo.
Hoy es domingo.
Luego, mañana trabajare.
Premisa 1: d ® e
Premisa 2: s ® ~ e
Premisa 3: d
Conclusión: e
d: hoy es domingo
s: hoy es sábado
e: mañana trabajaré
Métodos de Demostración
Demostración Directa En la demostración directa debemos probar una
implicación:
P Þ q. Esto es, llegar a la conclusión q a partir de la premisa p mediante
una secuencia de proposiciones en las que se utilizan axiomas,
definiciones, teoremas o propiedades demostradas previamente.
P ® C º ~ C ® ~ P.
Inferencia
5. Ley de Simplificación
pÙqÞp pÙq ó pÙq
pÙqÞq p q
6. Ley de la Adición
pÞ p Ú q p q
---------- ó ---------
qÞpÚq pÚq pÚq
7. Ley de Conjunción
( p )Ù ( q)Þ ( p Ù q) p
q
---------
pÙq
i) p Ù (q Ú r)
(ii) (p Ù q) Ú [( p Ù r) Ú ~ s)]
(iii) t Ù [q Ú (s Ù p)]
Solución
p ∧ (q ∨ r)
(p ∧q)∨[( p ∧ r) ∨ ∼ s)]