→ Tezy Rachunku Predykatów → Оқуды бастаңыз / MP3 флэш-карталарын жүктеу

сұрақ		жауап
prawo zastępowania dużego kwantyfikatora przez mały kwantyfikator оқуды бастаңыз		∧x(A)->∨x(A)
prawo przestawiania dużych kwantyfikatorów оқуды бастаңыз		ΛxΛy(A)=ΛyΛx(A)
prawo przestawiania małych kwantyfikatorów оқуды бастаңыз		∨x∨y(A)=∨y∨x(A)
prawo przestawiania małego kwantyfikatora z dużym оқуды бастаңыз		∨xΛy(A)->Λy∨x(A)
prawo negowania dużego kwantyfikatora оқуды бастаңыз		~Λx(A)=∨x~(A)
prawo negowania małego kwantyfikatora оқуды бастаңыз		~∨x(A)=Λx~(A)
prawo zastępowania dużego kwantyfikatora оқуды бастаңыз		Λx(A)=~∨x~(A)
prawo zastępowania małego kwantyfikatora оқуды бастаңыз		∨x(A)=~Λx~(A)
prawo rozkładania dużego kwantyfikatora względem implikacji оқуды бастаңыз		Λx(A->B)->[Λx(A)->Λx(B)]
prawo rozkładania małego kwantyfikatora względem implikacji оқуды бастаңыз		Λx(A->B)->[∨x(A)->∨x(B)]
prawo rozkładania dużego kwantyfikatora względem koniunkcji оқуды бастаңыз		Λx(A^B)=Λx(A)^Λx(B)
prawo rozkładania małego kwantyfikatora względem alternatywy оқуды бастаңыз		∨x(AvB)=∨x(A)v∨x(B)
prawo składania dużego kwantyfikatora względem alternatywy оқуды бастаңыз		Λx(A)vΛx(B)->Λx(AvB)
prawo rozkładania małego kwantyfikatora względem koniunkcji оқуды бастаңыз		∨x(A^B)->∨x(A)^∨x(B)
prawo ekstensjonalności dla dużego kwantyfikatora оқуды бастаңыз		Λx(A=B)->Λx(A)=Λx(B)
prawo ekstensjonalności dla małego kwantyfikatora оқуды бастаңыз		Λx(A=B)->∨x(A)=∨x(B)

Tezy rachunku predykatów

Пікір қалдыру үшін жүйеге кіру керек.

көбірек