Potrzebuje lekcji 29 z kursu matematyki dyskretnej o Kwantyfikatorach z eTrapeza. Jak ktoś by się zechciał podzielić to byłoby miło :) #etrapez #dyskretna #logika #kwantyfikatory
@Yahoo_: Zależy jaką aksjomatykę przyjmiesz, o czym wspomniałem. Prawo de Morgana dość często przyjmuje się jako aksjomat, chyba że z jakiegoś powodu zależy ci aby mieć jak najmniej aksjomatów, albo żeby żaden nie wynikał z pozostałych (co robi się raczej wyłącznie przy wprowadzaniu logiki pierwszego rzędu).
Mało tego, w niektórych aksjomatykach prawo de Morgana pełni role definicji kwantyfikatora egzystencjalnego.
#etrapez #dyskretna #logika #kwantyfikatory