Pytanie
Kacpi: Czy wykazywac, ze formuły rachunku zdań sa tautologiami mozna tylko za pomocą tabelki?
2 paź 13:51
Janek191:
Można korzystać też z reguł wnioskowania (np. reguła odrywania, reguła podstawiania ).
2 paź 14:00
wmboczek: tabelka jest uniwersalna, ale w zależności od przykładu można czasem o wiele szybciej, po
prostu
potrzeba praktyki
(p∧~p)⇒(jakieś bardzo długie wyrażenie)
2 paź 14:34