Zmienne zdaniowe p, q, r, s, t, u, w, … oznaczamy literami z końca alfabetu Spójniki zdaniowe (funktory prawdziwościowe); ~, →, Ù, Ú, ≡, (oznaczenia) ~ – negacja → – implikacja Ù – koniunkcja Ú – alternatywa ≡ – równoważność p ˅ q czytamy p lub q p ˄ q czytamy p i q p [...]
1.1. Pojęcie zdania w sensie logicznym Zdanie w sensie logicznym jest to wyrażenie jednoznacznie stwierdzające, na gruncie reguł danego języka, iż tak a tak jest, albo że tak a tak nie jest. 1.2. Wartość logiczna zdania Zdanie prawdziwe jest to zdanie, które opisuje rzeczywistość taką, jaka ona jest. Zdanie fałszywe jest to zdanie, które opisuje [...]
Logika uchwytuje sposoby wnioskowania stosowane w naukach i uznawane za poprawne oraz tworzy z nich systemy logiczne. Systemy te są zbiorem praw i reguł, do których stosując się można odtworzyć te wszystkie wnioskowania, które spontanicznie uznajemy za bez zarzutu. Logika, pojęta jako nauka odnosząca się do wnioskowania, obejmuje trzy dyscypliny, które powinny być ściśle oddzielane. [...]