Dowów nie wprost - wykład
- Uniwersytet Mikołaja Kopernika w Toruniu
- Logika prawnicza
WYKŁAD 4 Dowód nie wprost (p - q) ^ (q - r) - (p - r) prawo sylogizmu hipotetycznego (p - q) ^ (q - r) - (p - r) v v v v v v f f v f f Sprzeczność Jeżeli Jan jest ekonomistą i Jan jest prawnikiem, to nieprawdą jest, że jeżeli jest ekonomistą, to nie jest prawnikiem. (p ^ q) - ~ (p - ~ q) v v v f f...