Tautologia
ZT: Sprawdź czy podane zdanie jest Tautologią:
Jeżeli powiedziało się A, to trzeba powiedzieć B; lecz nieprawda, że jeśli nie powiedziało sie
C, to trzeba powiedzieć A lub B. Zatem trzeba albo powiedzieć A, albo nie powiedzieć B.
26 lut 17:27
ite:
Musisz sprawdzić poprawność takiego wnioskowania:
A ⇒ B
¬(¬C ⇒(A∨B))
−−−−−−−−−−−
A⊥B
Można zapisać to w postaci implikacji i zastosować metodę skróconą zero−jedynkową.
26 lut 19:57
ite:
* poprawiam wniosek
A⊥¬B
26 lut 20:44