20671

Przykłady wnioskowania obarczonego błędem formalnym:

Każde Sjest P Każde Pjest S

Każdy kwadrat jest wielokątem Każdy wielokąt jest kwadratem

Każda róża jest kwiatem Każdy kwiat jest różą

Prawo logiczne

Prawo logiczne (tautologia) jest to wyrażenie zbudowane ze stałych i zmiennych logicznych, które jest prawdziwe przy wszystkich podstawieniach (stałych za zmienne).

Prawa logiczne są ogólnymi twierdzeniami o dowolnych przedmiotach z. zakresu (desygnacji) zmiennych.

Związek między schematami logicznymi a prawami logicznymi

S: Schemat logiczny:

Wi

W₂

vv_n w

P: Prawo logiczne: Jeśli Wi i W₂ i i W„, to W

Schemat formalny S jest niezawodny (jest schematem logicznym) wtedy i tylko wtedy, gdy wyrażenie Pjest wyrażeniem prawdziwym (prawem logicznym)

Wynikanie logiczne

Ze zdań Z_t, Z₂... Z„ wynika logicznie zdanie Z wtedy i tylko wtedy, gdy istnieje taki schemat logiczny, że zdania: Zi, Z₂... Z„ są podstawieniami przesłanek, a zdanie Z podstawieniem wniosku w tym schemacie.