Logika
Ed: Mógłby mi ktoś wyjaśnić jak działają reguły podstawiania i odrywania? (lub podać jakieś dobre
źródło z których łatwo jest się nauczyć )
Mam takie zadanie i nie rozumiem jak to niby zrobić:
Stosując regułe podstawiania i odrywania wykaż, że z tautologii:
T1. (~p ∨ q) → (p → q)
T2. ~p ∨ (q → p)
wynika tautologia:
p → (q → p)
6 lis 20:32
Ed: Modus ponens anyone?
6 lis 21:11
Ed:
(~p v q) −> (p −> q)
(~p v (q −> p)) −> (p −> (q −> p))
p −> (q −> p)
)
Mam takie zadanie i nie rozumiem jak to niby zrobić:
Stosując regułe podstawiania i odrywania wykaż, że z tautologii:
T1. (~p ∨ q) → (p → q)
T2. ~p ∨ (q → p)
wynika tautologia:
p → (q → p)