2852046723

2. Co każdy logik wiedzieć powinien ... 5

mujemy następujące diagramy dla prawdziwości i fałszywości zdań kategorycznych:

SaP

SiP

Prawdziwość

Falszywość

SeP

SoP

Diagramy Venna są właściwie narzędziem wystarczającym do badania poprawności rozumowań. Możemy ich zastosowanie na następującym przykładzie:

Zadanie: Zbadaj poprawność następującego schematu wnioskowania:

MaP

SaM

SaP

Wnioskowanie to odpowiada wyrażeniu zdaniowemu (zgodnie z zasadą, że każdemu schematowi wnioskowania odpowiada implikacja, której poprzednikiem jest koniunkcja przesłanek schematu, a następnikiem jego wniosek).

(.PiM A SeM) -*• SoP

Badanie tego, czy schemat wnioskowania (zwany w teorii zdań kategorycznych trybem sylogistycznym) jest dedukcyjnym schematem wnioskowania lub czy odpowiadająca mu implikacja jest prawem logiki, rozpoczynamy od założenia prawdziwości poprzednika badanej implikacji. Poprzednik ten jest koniunkcją, zatem oba człony tej koniunkcji winny być prawdziwe. Reprezentujemy prawdziwość owych przesłanek na diagramie Venna. Prawdziwości wniosku nie nanosimy na diagram. Diagram dla prawdziwości wniosku powinien w sposób jednoznaczny wynikać z diagramu dla prawdziwości prze-