Wersja z 18:02, 9 lip 2012 edytuj MerlIwBot (dyskusja \| edycje) 289 486 edycji m Robot dodał sv:Logisk sanning ← poprzednia edycja		Wersja z 23:11, 8 gru 2012 edytuj anuluj edycję Teukros (dyskusja \| edycje) Redaktorzy, Administratorzy 23 613 edycji WP:SK, usunięto szablon następna edycja →
Linia 1: '''Prawda''' – jedna z dwóch podstawowych [[Wartość logiczna\|wartości logicznych]]. Drugą jest [[fałsz]]. Według filozoficznej koncepcji [[~~Formalizm_~~Formalizm (matematyka)\|matematycznego formalizmu]] '''prawda''' jest jedynie symbolem i nie ma żadnego głębszego znaczenia, czym różni się od swojego potocznie używanego odpowiednika. W koncepcji [[~~Realizm_pojęciowy~~Realizm pojęciowy\|matematycznego platonizmu]] '''prawda''' posiada swój wewnętrzny sens. Wyrażenie zawsze prawdziwe, z powodu swojej konstrukcji logicznej, to [[Tautologia (logika)\|tautologia]]. ~~{{Logika matematyczna}}~~ [[Kategoria:Logika matematyczna]]

Prawda (logika): Różnice pomiędzy wersjami