3. Schematy zdań złożonych
21 grudnia 2010
Formę zdaniową rachunku zdań zawierającą zmienne zdaniowe nazywamy schematem zdania złożonego. Zdania podpadające pod schemat, to wszystkie zdania utworzone ze schematu przez dowolne podstawienia zdań pod zmienne zdaniowe.
Logika zbudowana ze zmiennych i 5 spójników zdaniowych (funktorów) oraz dodatkowo nawiasów (), [], {} nazywa się często logiką Arystotelesa.
W logice Arystotelesa funktory definiuje się następująco (za pomocą matryc).