Se trata sobre las tablas de la lógica matemática y la lógica simbólica, para una elaboración de lógica simbólica más exacta.

1. LÓGICA SIMBÓLICA – LÓGICA MATEMÁTICA

2.  La lógica simbólica, al igual que la silogística, es formal, se centra en la
validez de los razonamientos, no se fija en el contenido de los términos o
sentencias sino en la estructura formal de las relaciones entre los términos y
sentencias.
 Simbolización: La lógica simbólica recibe este nombre precisamente porque
utiliza signos simbólicos, la utilización de una Simbología para el proceso de
la formalización se lleva a cabo de una manera consecuente y completa.

6.  https://www.youtube.com/watch?v=RdMjSt9RmrY
 https://www.youtube.com/watch?v=7xM1XX2ijvs

7. a. No vi la película, pero leí la novela: ¬ p ^ q
b. Ni vi la película ni leí la novela: ¬p q
d. Vi la película aunque no leí la novela: p ^ ¬q
e. No me gusta trasnochar ni madrugar: ¬p ¬ q
f. O tu estás equivocado o es falsa la noticia que has leído: p ⊻ q
g. Si no estuvieras loca, no habrías venido aquí: ¬p ¬q
k. Roberto hará el doctorado cuando y solamente cuando obtenga la
licenciatura: p q

8. c. No es cierto que viese la película y leyese la novela: ¬ (p ^ q)
h. Llueve y o bien nieva o sopla el viento: p ^ (q v r)

9. a. Si p, entonces q: p q
b. No es el caso que p y q: ¬ p^q
c. p solamente si q y no-r: p (q^¬r)
d. p o no-q: p v ¬q
e. Si p y q, entonces no-r o s: (p ^ q) (¬r v s)
f. Si p, entonces q, y si q, entonces p:
g. Si p y q, entonces r. p. Luego si q, entonces r:
h. Si p y q, entonces r. Si r y s, entonces t. Luego si p y q y s,
entonces t:

10. “Llueve” = p , “Hace sol” = q
1 Llueve y hace sol A ¬ p
2 Llueve y no hace sol B p ∨ q
3 Llueve o hace sol C p ∧ q
4 Si no llueve, hace sol D p ∧¬ q
5 No es cierto que llueva E ¬ ¬ p
6 No es cierto que no llueva F q ↔ ¬ p
7 Hará sol si y sólo si no llueve G ¬ p → q

11. En lógica, el cálculo es un sistema de signos no interpretados, esto
significa que en un cálculo es posible realizar operaciones sin saber
qué significan los símbolos.
El cálculo de proposiciones consiste en pasar de una proposición a
otra, generalmente más compleja, a partir de una o más
proposiciones no descompuestas en sus elementos y no
interpretadas.
La lógica matemática representa las proposiciones mediante letras.
En el cálculo proporcional se busca su valor de verdad, es decir, si
es verdadero o falso. Estamos pues en una lógica bivalente (se
admiten dos valores: V = verdadero y F = falso). También hay
polivalentes que tienen varios valores de verdad. A la proposición
verdadera o falsa la simbolizamos con una sola letra: p, q, r…, etc.

12. v
^

13. https://www.youtube.com/watch?v=t_
D-7j1Sbk8
https://www.youtube.com/watch?v=ZK
8QUphO4MA&t=45s

15.  p, q, r, s, etc
 P q r 2n 2/3 =8

16. p q r ¬q ¬q^r (p (¬q^r))
V V V F F F
V V F F F F
V F V V V V
V F F V F F
F V V F F V
F V F F F V
F F V V V V
F F F V F V

17. p q r ¬r ¬r p q^(¬r p))
V V V F F F
V V F V V V
V F V F F F
V F F V V F
F V V F V V
F V F V V V
F F V F V F
F F F V V F

18.  a) p ∨ ¬p
 b) p ∧ q → p
 c) p ∧ q → q
 d) p → (p ∨ q)
 e) q → (p ∨ q)
 f ) (p → q) ↔ (¬q → ¬p)

19.  (p → q) ↔ (~ p ∨ q)
 ~ (p ∨ q) ↔ (~ p ^ ~ q)
 [(p ∨ q) → (~ r ^ q)] → (q ↔ r)
 [(p → q) ∨ (~ q ^ r)] ↔ (r → q)
 (p → q) ↔ [(~ p ) ∨ q]
 [~(p ∨ q)] ↔ [(~ p ) ^ (~q)]
 [~(p ↔ q)] ↔ [ p ↔ (~q)]