→ I. Rachunek Zdań (wybrane Tezy Rachunku Zdań) → Start læring / Last ned MP3 Flashcards

begynn å lære

laste ned mp3 Skriv ut spille sjekk deg selv

spørsmålet		svaret
zasada tożsamości begynn å lære		p=p
zasada podwójnego przeczenia begynn å lære		p=~~p
zasada sprzeczności begynn å lære		~(p^~p)
zasada wyłączonego środka begynn å lære		p v ~p
prawo redukcji do absurdu begynn å lære		(p ⇒ ~p) ⇒ ~p
prawo symplifikacji begynn å lære		(p ^ q) ⇒ p
prawo przemienności koniunkcji begynn å lære		(p ^ q) = (q ^ p)
prawo addycji begynn å lære		p ⇒ (p v q)
prawo przemienności alternatywy begynn å lære		(p v q) = (q v p)
I prawo de Morgana begynn å lære		~(p ^ q) = (~p v ~q)
II prawo de Morgana begynn å lære		~(p v q) = (~p ^ ~q)
modus ponendo ponens begynn å lære		[(p⇒q)^p]⇒q
modus tollendo tollens begynn å lære		[(p⇒q)^~q]⇒~p
prawo Dunsa Szkota begynn å lære		~p⇒(p⇒q)
prawo transpozycji begynn å lære		(p⇒q)⇒(~q⇒~p)
prawo przemienności równoważności begynn å lære		(p=q) = (q=p)
prawo łączności koniunkcji begynn å lære		[p ^ (q^r)] = [(p^q) ^ r]
prawo łączności alternatywy begynn å lære		[p v (q v r)] = [(p v q) v r]
prawo rozdzielności koniunkcji względem alternatywy begynn å lære		[p ^ (q v r)] = [(p ^ q) v (p^r)]
prawo rozdzielności alternatywy względem koniunkcji begynn å lære		[p v (q ^ r)] = [(p v q) ^ (p v r)]
prawo komutacji begynn å lære		[p⇒(q⇒r)] = [q⇒(p⇒r)]
prawo eksportacji begynn å lære		[(p^q)⇒r] ⇒ [p⇒(q⇒r)]
prawo importacji begynn å lære		[p⇒(q⇒r)]⇒[(p^q)⇒r]
prawo sylogizmu hipotetycznego begynn å lære		[(p⇒q) ^ (q⇒r)] ⇒(p⇒r)
prawo dylematu konstrukcyjnego begynn å lære		[(p⇒r) ^ (q⇒r) ^ (p v q)] ⇒ r

I. Rachunek zdań (wybrane tezy rachunku zdań)

Du må logge inn for å legge inn en kommentar.

mer