logika....

czy moze mi ktos dokladnie wytlumaczyc na czym polega w praktyce dowodzenie metoda nie wprost czy zdanie jest tautologia>>

że zakładasz, że zdanie nie jest tautologią i dochodzisz do sprzeczności to tak bardzo ogólnie...

Jeśli nie Jesteś i marsjanką i wenusjanką, to nie Jesteś marsjanką, lub nie Jesteś wenusjanką. To jest tautologia.

wiem ze zakladam ogolnie ze to jest falszywe i wtedy np (pvqvr)--> {~p-->(qvr)^~p] czyli zkladam ze calosc zero lewa str implikacji 1 a praw o i dalej skad mam wiedziec ze p ma byc np 1 albo o

up up up!!!

estera123 wiem ze zakladam ogolnie ze to jest falszywe i wtedy np (pvqvr)--> {~p-->(qvr)^~p] czyli zkladam ze calosc zero lewa str implikacji 1 a praw o i dalej skad mam wiedziec ze p ma byc np 1 albo o Skąd? Nauczyć się na pamięć. :) (pvqvr)--> {~p-->(qvr)^~p] (pvq)vr=>