w logice
Encyklopedia PWN
logika
teoria czynności poznawczych, przede wszystkim naukotwórczych,
[gr. logikós ‘zgodny z rozumowaniem’],
logika nazw (sylogistyka), której predykaty mają po części sens kwantyfikujący;
logika rozmyta, ang. fuzzy logic,
mat. pojęcie stanowiące pewne uogólnienie pojęcia logiki klas. i wprowadzonej 1920 przez Jana Łukasiewicza logiki wielowartościowej (logika).
dział matematyki poświęcony badaniu wnioskowania matematycznego (dowodzenia) oraz problemom podstaw matematyki.
dział logiki formalnej zajmujący się modalnościami, takimi jak: możliwość, konieczność, niemożliwość i przypadkowość;
dyscyplina zajmująca się formalnym związkiem pomiędzy pojęciami deontycznymi: obowiązkiem, zakazem i dozwoleniem;