prawdziwy
Encyklopedia PWN
dedukcja
log. rozumowanie (wnioskowanie), które posiada cechę niezawodności, tzn. od prawdziwych przesłanek prowadzi do prawdziwych wniosków dzięki zastosowaniu niezawodnej reguły wnioskowania (wnioskowanie);
[łac. deductio ‘wyprowadzenie’],
miara zgodności wyniku pomiaru (lub średniej serii wyników pomiarów) z wartością prawdziwą (lub wartością przyjętą jako prawdziwa).
pisarz kośc.; kierownik aleksandryjskiej szkoły katechetycznej;
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;
