zdaniowy
Encyklopedia PWN
log. w logice tradycyjnej słowo jest, łączące w trybie twierdzącym podmiot z orzecznikiem w zdaniu.
log. wyrażenie zawierające zmienne, z których co najmniej jedna jest wolna (zmienna logiczna), a które po podstawieniu odpowiednich stałych w miejsce zmiennych wolnych przekształca się w zdanie, np. „x ∈ y”, „x jest studentem”;
log. prawa logiki, zakładające, że zdania oznajmujące mogą być tylko prawdziwe lub fałszywe i żadnej innej wartości logicznej mieć nie mogą.
logika
teoria czynności poznawczych, przede wszystkim naukotwórczych,
[gr. logikós ‘zgodny z rozumowaniem’],
log. wyrażenie zdaniowe utworzone z innych wyrażeń zdaniowych za pomocą wzoru: „ani ... , ani ...”;