Expresión

Expresión verbal:
verbal: pp yy q;
q; pp aunque
aunque q; q; pp pero
pero q;
q; pp más
más q;q; pp también
también q;
q;
pp sin
sin embargo
embargo q;
q; pp además
además q; q; pp del
del mismo
mismo modo
modo q; q; pp al
al igual
igual que
que q;
q; pp así
así como
como q;
q; pp no
no obstante
obstante q;
q; pp tal
tal como
como q;
q; pp es
es comp
comp

LÓGICA PROPOSICIONAL - CONECTIVOS LÓGICOS

0 LA CONJUNCIÓN.
1 Dadas las proposiciones p y q, la conjunción es la proposición compuesta que
resulta de unir ambas proposiciones mediante el conectivo lógico “y” que se simboliza
por p ^ q. Siendo el principio lógico:
2 La conjunción p ^ q es verdadera, solo cuando p y q son verdaderas, en otro caso
es falsa, lo cual se resume en la siguiente tabla de verdad:
3
4
5
6 LA DISYUNCIÓN INCLUSIVA:
7 Dadas las proposiciones p y q, la disyunción inclusiva es la proposición
compuesta que resulta de unir ambas proposiciones por el conectivo lógico “o” que se
simboliza por
8 p ν q.
9 Siendo el principio lógico: La disyunción inclusiva es falsa únicamente en el
caso que ambas proposiciones son falsas, en otro caso es verdadera, lo cual se resume
en la siguiente tabla de verdad:
10
11
12
13 LA CONDICIONAL.
14 La condicional o la implicación de dos proposiciones p y q es la proposición
compuesta que resulta de unir ambas proposiciones mediante el conectivo lógico
“si…..entonces……” que se simboliza por p → q. Siendo el principio lógico: La
proposición condicional es falsa únicamente en el caso que la proposición p es
verdadera y la proposición q es falsa, en otro caso es verdadera, lo cual se resume
en la siguiente tabla de verdad:
15
16
17
18 LA BICONDICIONAL.
19 La Bicondicional o doble implicación de dos proposiciones p y q es la
proposición compuesta que resulta de unir ambas proposiciones mediante el conectivo
lógico “si y solo si” que se simboliza por p ↔ q. Siendo el principio lógico:
20 La bicondicional es verdadera si ambas proposiciones p y q son verdades o
falsas a la vez, en otro caso es falsa. Su tabla de verdad es:
21
22
23
24
25
26
27 LA DISYUNCIÓN EXCLUSIVA:
28 La disyunción exclusiva de dos proposiciones p y q es la proposición
compuesta que resulta de unir ambas proposiciones mediante el conectivo lógico
“o…..o” que se simboliza por p ∆ q. Es verdadera cuando ambas proposiciones tengan
valores de verdad opuestos y es falsa si ambas tienen idénticos valores. Su tabla de
verdad es:
29
30
31
32 NOTA: Según el resultado que se obtenga en el operador principal o de mayor
jerarquía los esquemas moleculares pueden ser:
33 - Tautología. Cuando todos los valores de verdad son verdaderos.
34 - Contradicción. Cuando todos los valores de verdad son falsos.
35 - Contingencia. Cuando existe por lo menos un valor diferente a los demás.
36
37 MÓDULO DE AUTOAPRENDIZAJE
38 1. Hallar el valor de verdad de la proposición:
39 a. 18 es múltiplo de 6 si y solo si es divisor de 36.
40 b. 23 es un número primo o 7 no es un número compuesto.
41 c. Si 2 no es divisor de 12, entonces 102 no es múltiplo de 9.
42
43 2. Si p: 4 es número compuesto q: 12 es múltiplo de 3
44 r: 101 es un número primo; halla el valor de verdad de:
45 a.12 es múltiplo de 3 y 101 no es un número primo.
46 b.Si 4 es un numero compuesto si y solo si 101 es un número primo, entonces 12
es múltiplo de 3.
47 c.No es cierto que si 101 es un número primo o 4 es un número compuesto,
entonces 12 es múltiplo de 3.
48 d.No es el caso que 12 sea múltiplo de 3 y 101 sea un número primo si y solo si
4 no es un número compuesto.
49 3. Determina mediante la tabla si las fórmulas son consistentes, tautológicas o
contradictorias.
50 a. (p ˄ ~q) v ~p b. p→ (~q ˄ p) c. (p ν q)
↔ ~q
51
52 d.[ p ˄ ( p ν q)] ↔ p e. (q → r) v (~p ↔ r) f. (r ˄ ~p) ↔ (p
→ ~q)
53
54 4. Si la proposición (p ˄ q) ˄ ~r es verdadera, halla el valor de verdad de:
55
56 a. (p → ~q) v r b. (r ˄ p) ↔ (~p→~q) c. [p ˄ (p ν q)] ↔ [(q→r) v
(p↔r)]
57
58 5. Si la fórmula (p ˄ q) → (s v r) es falsa, encuentra el valor de verdad de las
siguientes fórmulas lógicas:
59 a. p→ (q v ~ r) b. (~p ˄ r) ↔ ~r c. [ ( p ˄ q) v ~r] →~p
60
61 6. Si la proposición (p → q) v (r → s) es falsa, encuentra el valor de verdad de
las siguientes fórmulas lógicas:
62 a. (q→~r) v (p↔s) b. [ p ˄ ( p ν r)] ↔ ~s c. ~(r ˄ ~s) ↔ ~(p→~q)
63
64 7. Si la proposición (~p ˄ q) ˄ ~ (r → s) es verdadera, encuentra el valor de
verdad de las fórmulas lógicas:
65
66 a. [(q → r) v (~s ↔ r)] → (~q ^ p) b. [ p → (~q ^ r)] v [(p ν s) ↔ ~q]
67
68 8. Determina para cada caso, si las formulas son tautológicas, contradictorias o
consistentes:
69 a. (p^ q) ↔ (q ^ p) b. (~p → ~q) ^ ( p ν q) c. ~ [ p ^ ( p ν q)] ↔ ~ p
70