Lógica

Question 1

Ley de Adición (LA)

Answer 1

[p]⇒[p∨q]

[q]⇒[p∨q]

p estudio
q trabajo
Yo estudio “entonces” yo puedo estudiar “o” trabajar

Question 2

Simplificación (S)

Answer 2

(p∧q)⇒p

(p∧q)⇒q

p estudio
q trabajo
Yo estudio y trabajo entonces trabajo

Question 3

Modus ponendo Ponens (P.P)

Answer 3

Método que afirma el consecuente afirmando el antecedente .

[(p⇒q)∧p]⇒q

p no llueve
q yo lavo
No llovío asi que lave

[(~p⇒~q)∧~p]⇒~q

[(p⇒~q)∧p]⇒~q

[(~p⇒q)∧~p]⇒q

Question 4

Regla de Adjunción (A)

Answer 4

[(p)∧(q)]⇒(p∧q)
p soy feo
q soy rico
entonces yo soy feo y rico

Question 5

Modus Tollendo Tollens (T.T)

Answer 5

Método que niega el antecedente negando el consecuente

[(p⇒q)∧~q]⇒~p

~q no lave
-p llovío
p no llovio
q lave
no lave porque llovío

[(~p⇒~q)∧q]⇒p

[(~p⇒q)∧~q]⇒p

[(p⇒~q)∧q]⇒~p

Question 6

Modus Tollendo Ponens (TP)

Answer 6

Negando uno afirma el otro

[(p∨q)∧~q]⇒p
No trabajo entonces estudio

[(p∨q)∧~p]⇒q
No estudio entonces trabajo

p estudio
q trabajo

[(~p∨~q)∧p]⇒~q

[(~p∨~q)∧q]⇒~p

[(~p∨q)∧p]⇒q

[(p∨~q)∧~p]⇒~q

Question 7

Ley del silogismo hipotético.- SH

Answer 7

((p⇒q)∧(q⇒s))⇒(p⇒s)

Question 8

Ley del silogismo disyuntivo.- SD

Answer 8

((p∨q)∧(p⇒r)∧(q⇒s))⇒(r∨s)

Question 9

Ley de simplificación disyuntiva.- LSD

Answer 9

(p∨p)⇒p

Question 10

• Ley de doble negación.- DN

Answer 10

¬(¬p)⇒p

p⇒¬(¬p)

Question 11

Leyes de Morgan.- LDM

Answer 11

¬(p∨q)⇒(¬p∧¬q)

Question 12

REGLA 13.- Leyes de las proposiciones bicondicionales.- LPB

Answer 12

(p⇔q)⇒(p⇒q)

(p⇔q)⇒(q⇒p)

(p⇔q)⇒(p⇒q)∧(q⇒p)

Question 13

Distributiva

Answer 13

p⇒(q∧r) ⇔(p⇒q)∧(p⇒r)

Question 14

PROPIEDAD 9.- LEY DE BICONDICIONA

Answer 14

p⇔q ⇔ (q⇒p)∧(p⇒q)

Question 15

Conmutativa

Answer 15

p⇔q ⇔ q⇔p