Matematické Fórum

Nejlépe pomocí základních ekvivalencí:

(A => B )   je totéž jako  (notA or B)

(A <=> B)  je totéž jako (A => B) and (B => A)

!(A or B) je totéž jako notA and notB

not(A and B) je totéž jako notA or notB

a

notnotA  je totéž jako A
___________________
Tedy

(A => B) <=> (A =>C)

(notA or B) <=> (notA or C)

(not(notA or B) or (notA or C)) and ((notA or B) or not(notA or C))
atd..........

not = negace, or = disjunkce, and = konjukce. Ty můžes jednu formuli pomocí základních ekvivalenci přepsat do jiného tvaru(tzn. nahradíš přesně jako píše Formol). Pochybuju, že by jste se to učili jinak, nic na tom není, stačí se jen na to podívat s nadhledem.