Question

[(¬p→q)∧(q→¬r)∧(¬r→s)∧(¬p)∧(¬s∨r)]→r

Premisas:
P1: ¬p→q
P2: q→¬r
P3: ¬r→s
P4: ¬p
P5: ¬s∨r
hallar las premisas para cada expresión

Answer 1

[(¬p→q)∧(q→¬r)∧(¬r→s)∧(¬p)∧(¬s∨r)]→r

Definiendo las premisas:

Premisas:  

• P1: ¬p→q   ---> Si no falto a clases, entonces apruebo
• P2: q→¬r ------> Si apruebo entonces no repito
• P3: ¬r→s -----> Si no repito entonces me graduo
• P4: ¬p ------> Si no falto a clases
• P5: ¬s∨r----> No me graduo y repito