prawdziwe
Encyklopedia PWN
Tarski Alfred, pierwotnie A. Tajtelbaum, ur. 14 I 1901, Warszawa, zm. 27 X 1983, Berkeley (stan Kalifornia),
polski logik, matematyk i filozof; uważany za jednego z największych logików w dziejach nauki.
logik polski, jeden z najwybitniejszych przedstawicieli lwowsko-warszawskiej szkoły filozoficznej.
log. funkcja zdaniowa, której przekształcenie w zdanie prawdziwe (albo fałszywe) zależy tylko od tego, czy w miejsce zmiennych zdaniowych podstawi się zdania prawdziwe, czy fałszywe, lub tylko od denotacji nazw podstawionych za zmienne nazwowe.
log. funkcja zdaniowa, której przekształcenie w zdanie prawdziwe (albo fałszywe) nie zależy tylko od tego, czy w miejsce zmiennych zdaniowych podstawi się zdania prawdziwe, czy fałszywe;
mat.: