| nazwa = Klasyczny rachunek zdań
| tytuł = [[Klasyczny rachunek zdań]]
| opis1 = pojęcia podstawowe
| spis1 =
* [[zmienna zdaniowa]]
* [[zdanie logiczne]]
* [[wartość logiczna]]
** [[Prawda (logika)|prawda]]
** [[fałsz]]

| opis2 = [[Funktor zdaniotwórczy|funktory<br />zdaniotwórcze]]
| opis2.1 = [[Działanie jednoargumentowe|jednoargumentowe]]
| spis2.1 =
* [[negacja]], in. przeczenie

| opis2.2 = [[Działanie dwuargumentowe|dwuargumentowe]]
| spis2.2 =
* [[implikacja materialna]]
* [[alternatywa]] zwykła lub łączna
* [[Koniunkcja (logika)|koniunkcja]]
* [[równoważność]]
* [[alternatywa rozłączna]]
* [[binegacja]]
* [[dysjunkcja (Sheffera)]]

| opis3 = [[Prawa rachunku zdań|prawa<br />rachunku zdań]] –<br />jego [[Tautologia (logika)|tautologie]]
| opis3.1 = z jedną zmienną<br />i bez przeczenia
| spis3.1 =
* [[zasada tożsamości]]
* prawa [[Idempotentność|idempotentności]]
** [[Koniunkcja (logika)|koniunkcji]]
** [[Alternatywa|alternatywy]]

| opis3.2 = z jedną zmienną<br />i przeczeniem
| spis3.2 =
* [[Prawo podwójnego przeczenia|prawa podwójnego przeczenia]]
** [[Prawo podwójnego przeczenia|słabe]]
** [[Prawo podwójnego przeczenia|silne]]
* [[zasada niesprzeczności]]
* [[prawo wyłączonego środka]]
* [[prawo Claviusa]]

| opis3.3 = z dwoma zmiennymi<br />i bez przeczenia
| spis3.3 =
* prawa [[Przemienność|przemienności]]
** [[Koniunkcja (logika)|koniunkcji]]
** [[Alternatywa|alternatywy]]
* [[Prawa rachunku zdań#Z dwoma zmiennymi zdaniowymi|prawa pochłaniania, in. absorpcji]]
* [[Prawa rachunku zdań#Z dwoma zmiennymi zdaniowymi|prawo symplifikacji]]
* [[reguła odrywania]]
**''[[Modus ponendo ponens|modus ponens]]''
* [[prawo Peirce’a]]

| opis3.4 = z dwoma zmiennymi<br />i przeczeniem
| spis3.4 =
* [[prawa De Morgana]]
* [[prawo Dunsa Szkota]]
* [[Prawo kontrapozycji|prawa kontrapozycji]]
* ''[[modus tollens]]''
* ''[[modus ponendo tollens]]''
* ''[[modus tollendo ponens]]''
* [[Prawa rachunku zdań#Z dwoma zmiennymi zdaniowymi|prawo eliminacji implikacji]]
* [[Prawa rachunku zdań#Z dwoma zmiennymi zdaniowymi|prawo zaprzeczenia implikacji]]
* [[Prawa rachunku zdań#Z dwoma zmiennymi zdaniowymi|prawo redukcji do absurdu]]

| opis3.5 = z trzema zmiennymi<br />i bez przeczenia
| spis3.5 =
* prawa [[Łączność (matematyka)|łączności]]
** [[Koniunkcja (logika)|koniunkcji]]
** [[Alternatywa|alternatywy]]
* prawa [[Rozdzielność|rozdzielności]]
** [[Koniunkcja (logika)|koniunkcji]] względem alternatywy
** [[Alternatywa|alternatywy]] względem koniunkcji
* prawa [[Sylogizm warunkowy|sylogizmu warunkowego]], in. [[Hipoteza|hipotetycznego]]
** [[Relacja przechodnia|przechodniość]] implikacji
* [[prawo Fregego]]

| opis4 = powiązane pojęcia
| spis4 =
* [[tablica prawdy]]
* [[kontrtautologia]]
* [[sylogizm]]
* [[kwadrat logiczny]]

| kategoria = podstawy matematyki