Rachunek zdań: Różnice pomiędzy wersjami

[wersja nieprzejrzana][wersja nieprzejrzana]
Usunięta treść Dodana treść
Orton (dyskusja | edycje)
m poprawa linków - uściślenie
Linia 6:
 
=== Alfabet klasycznego rachunku zdań ===
Alfabet KRZ składa się z trzech rodzajów znaków: [[zmienna zdaniowa|zmiennych zdaniowych]], [[funktorFunktor zdaniotwórczy|stałych logicznych (funktorów)]] i znaków pomocniczych.
 
'''Zmienne zdaniowe''': p, q, r, s, itd.