39951

zamiast (~(p) /\ q) -* (r V ~ (s)) wolno pisać: ~p A q -* r V ~s. Przykład.

Formułami są: p, ~p, —p, p V ~q, ~(p — ~q), p A q -* ~~p.

Formułami oięsą: p ~ q, p~ —q, ~p /\ —q, vpq.

Def. 4 (Podformuła). Dowolną część formuły A, która sama jest formuła nazywamy podformułąformuły A. Do podformuły formuły A zaliczamy też samą formułę A.

Przykład. Podformułami formuły p -• ~(q /\ ~r) są:

p_f q, x, ~r, q /\    ~(q /\ ~r), p - ~(q A ~r).

Budowę każdej formuły można zilustrować za pomocą grafu będącego drzewem (drzewo synktatyczne):

(P — q) A (~p -* q) — q

(p ^q) A(~P- q) Q

Formuły języka KRZ są schematy zdań jakiegoś języka etnicznego. Każda formula jest schematem nieskończonej klasy zdań. Aby zbudować schematy zdania:

Jeżeli wypowiedziałeś alternatywę, to o ile jeden jej składnik nie jest fałszywy, to wypowiedziałeś zdanie prawdziwe.