logiczna
Encyklopedia PWN
log. działanie lub zespół działań (zwłaszcza przekształceń) dokonywanych zgodnie z odpowiednimi regułami logicznymi na pewnych wyrażeniach w celu realizacji określonego zadania, np. udowodnienia danej tezy.
składnia logiczna, syntaksa,
dział logiki zajmujący się klasyfikacją różnych kategorii logicznych wyrażeń językowych, badaniem ich wzajemnych związków oraz warunków poprawnego budowania wyrażeń złożonych.
własność zdań log. polegająca na ich zgodności lub niezgodności z rzeczywistością;
analiza logiczna
metoda rozwiązywania problemów drogą wyodrębniania i badania zagadnień bardziej podstawowych z zastosowaniem środków szeroko pojętej logiki (semiotyka, logika formalna, metodologia nauk).
[gr. análysis ‘rozłożenie’, ‘rozbiór’],
funkcja, której wartości i argumenty pochodzą jedynie ze zbioru elementów algebry Boole’a.
zbiór symboli, zastępujących zwłaszcza stałe i zmienne log., stosowanych zamiast wyrażeń mowy potocznej we wzorach logiki formalnej;
