Tezy rachunku predykatów

0 16 kartičky mikolajkrzysztofnowakowski

začněte se učit

stáhnout mp3 Vytisknout hrát zkontrolovat se

otázka		odpověď
prawo zastępowania dużego kwantyfikatora przez mały kwantyfikator začněte se učit		∧x(A)->∨x(A)
prawo przestawiania dużych kwantyfikatorów začněte se učit		ΛxΛy(A)=ΛyΛx(A)
prawo przestawiania małych kwantyfikatorów začněte se učit		∨x∨y(A)=∨y∨x(A)
prawo przestawiania małego kwantyfikatora z dużym začněte se učit		∨xΛy(A)->Λy∨x(A)
prawo negowania dużego kwantyfikatora začněte se učit		~Λx(A)=∨x~(A)
prawo negowania małego kwantyfikatora začněte se učit		~∨x(A)=Λx~(A)
prawo zastępowania dużego kwantyfikatora začněte se učit		Λx(A)=~∨x~(A)
prawo zastępowania małego kwantyfikatora začněte se učit		∨x(A)=~Λx~(A)
prawo rozkładania dużego kwantyfikatora względem implikacji začněte se učit		Λx(A->B)->[Λx(A)->Λx(B)]
prawo rozkładania małego kwantyfikatora względem implikacji začněte se učit		Λx(A->B)->[∨x(A)->∨x(B)]
prawo rozkładania dużego kwantyfikatora względem koniunkcji začněte se učit		Λx(A^B)=Λx(A)^Λx(B)
prawo rozkładania małego kwantyfikatora względem alternatywy začněte se učit		∨x(AvB)=∨x(A)v∨x(B)
prawo składania dużego kwantyfikatora względem alternatywy začněte se učit		Λx(A)vΛx(B)->Λx(AvB)
prawo rozkładania małego kwantyfikatora względem koniunkcji začněte se učit		∨x(A^B)->∨x(A)^∨x(B)
prawo ekstensjonalności dla dużego kwantyfikatora začněte se učit		Λx(A=B)->Λx(A)=Λx(B)
prawo ekstensjonalności dla małego kwantyfikatora začněte se učit		Λx(A=B)->∨x(A)=∨x(B)

Vytvořte karty flash

hobby

Podívejte se na podobné kartičky:

I. Rachunek zdań (wybrane tezy rachunku zdań)tezy rachunku zdań Twierdzenia rachunku zbiorów e fiszki 2 do potegi 20 Cytaty po angielsku - kobiety Vocabulario B1: Weather 2/2 Kalendarz imienin Alfabet Braila Cytaty po angielsku - polityka Pytania o blondynce Wynalazki i odkrycia w epoce nowożytnej (XVI – XIXw.)Najpopularniejsze tytuły filmów; The Most Famous Film Titles Vocabulario B1: Work and Jobs 1/7 Vocabulario B1: Sports 1/6

Chcete-li přidat komentář, musíte se přihlásit.