Tezy rachunku predykatów

 0    16 schede    mikolajkrzysztofnowakowski
inizia ad imparare

Scarica mp3 Stampa Gioca Testa il tuo livello
 
Domanda język polski Risposta język polski
prawo zastępowania dużego kwantyfikatora przez mały kwantyfikator
inizia ad imparare
∧x(A)->∨x(A)
prawo przestawiania dużych kwantyfikatorów
inizia ad imparare
ΛxΛy(A)=ΛyΛx(A)
prawo przestawiania małych kwantyfikatorów
inizia ad imparare
∨x∨y(A)=∨y∨x(A)
prawo przestawiania małego kwantyfikatora z dużym
inizia ad imparare
∨xΛy(A)->Λy∨x(A)
prawo negowania dużego kwantyfikatora
inizia ad imparare
~Λx(A)=∨x~(A)
prawo negowania małego kwantyfikatora
inizia ad imparare
~∨x(A)=Λx~(A)
prawo zastępowania dużego kwantyfikatora
inizia ad imparare
Λx(A)=~∨x~(A)
prawo zastępowania małego kwantyfikatora
inizia ad imparare
∨x(A)=~Λx~(A)
prawo rozkładania dużego kwantyfikatora względem implikacji
inizia ad imparare
Λx(A->B)->[Λx(A)->Λx(B)]
prawo rozkładania małego kwantyfikatora względem implikacji
inizia ad imparare
Λx(A->B)->[∨x(A)->∨x(B)]
prawo rozkładania dużego kwantyfikatora względem koniunkcji
inizia ad imparare
Λx(A^B)=Λx(A)^Λx(B)
prawo rozkładania małego kwantyfikatora względem alternatywy
inizia ad imparare
∨x(AvB)=∨x(A)v∨x(B)
prawo składania dużego kwantyfikatora względem alternatywy
inizia ad imparare
Λx(A)vΛx(B)->Λx(AvB)
prawo rozkładania małego kwantyfikatora względem koniunkcji
inizia ad imparare
∨x(A^B)->∨x(A)^∨x(B)
prawo ekstensjonalności dla dużego kwantyfikatora
inizia ad imparare
Λx(A=B)->Λx(A)=Λx(B)
prawo ekstensjonalności dla małego kwantyfikatora
inizia ad imparare
Λx(A=B)->∨x(A)=∨x(B)
Crea delle schede
hobby

Vedi schede correlate:

I. Rachunek zdań (wybrane tezy rachunku zdań)tezy rachunku zdańTwierdzenia rachunku zbiorówe fiszki2 do potegi 20Cytaty po angielsku - kobietyVocabulario B1: Weather 2/2Kalendarz imieninAlfabet BrailaCytaty po angielsku - politykaPytania o blondynceWynalazki i odkrycia w epoce nowożytnej (XVI – XIXw.)Najpopularniejsze tytuły filmów; The Most Famous Film TitlesVocabulario B1: Work and Jobs 1/7Vocabulario B1: Sports 1/6

Devi essere accedere per pubblicare un commento.