Rachunki logiczne to rozumowa metoda testowania.

przesłanki

I rozumowanie

|

wnioski

Jeśli wnioskujemy z niepewnych przesłanek, to także nasze wnioski są niepewne.