Wykłady i ćwiczenia, Rachunek zdań, Rachunek zdań


Rachunek zdań

p, r, s, t - zdania proste

zmienne zdaniowe

, , , , -- funktory ekstensjonalne

stałe logiczne