Classical Propositional Calculus

by Grzegorz Bancerek

Wybierz tezę:

Formuła ??? jest tautologia

Dowód: Szukamy kontrmodelu

BUFFER:

Definicje: DefNOT: NOT p jest prawda wtw p jest falszem

DefNOT: NOT p jest prawda wtw p jest falszem

DefAND: p AND q jest prawda wtw p jest prawda i q jest prawda

DefOR: p OR q jest prawda wtw co najmiej jedno z p i q jest prawda

DefIMP: p IMP q jest prawda wtw p implikuje q

DefIFF: p IFF q jest prawda wtw p rownowazne q

LABELS:

QED

TEST AREA

Grzegorz Bancerek