Wartościowanie (logika) – Wikipedia, wolna encyklopedia
W logice wartościowanie to przypisanie wartości logicznej formułom zdaniowym języka na podstawie przypisania.
Mówi się o „ocenianiu” w rachunku zdań. Analogicznie mówi się o „interpretacji ”[1] w rachunku predykatów pierwszego rzędu.
Przypisanie V zdań języka S nazywa się oceną, jeśli spełnione są następujące warunki:
(a) V (¬ A) = w jeśli V(A) = fa
(b) V (A → B) = w jeśli V(A) = f lub V(B) = w[2].
Jeśli formuła zdaniowa A jest spełniona przez wszystkie oceny, to A jest zdaniowo prawdziwe, ogólnie ważne lub tautologiczne[1].
Jeżeli wniosek B z wniosku A → B jest spełniony przez wszystkie oceny, które również spełniają przesłankę A, to wniosek jest również zdaniowo ważny[1].
Przypisy
[edytuj | edytuj kod]- ↑ a b c Regenbogen/Meyer, Wörterbuch der philosophischen Begriffe, 2005, Modelltheoretische Semantik. (niem.).
- ↑ Kutschera/Breitkopf, Einführung in die moderne Logik, wyd. 8, 2007, s. 62, ISBN 978-3-495-482711 (niem.).