Matematika A1a 2008/1. gyakorlat

Következtetések

Ha A₁, A₂, ..., A_n, B mondatok, akkor azt mondjuk, hogy az

$\frac{A_1,\;A_2,\;...\;,\;A_n}{B}$

szimbólummal jelölt következtetés helyes, ha minden olyan esetben, amikor az A₁, A₂, ..., A_n mondatok (az úgy nevezett premisszák vagy feltételek) mindegyike igaz, akkor a B mondat, azaz a konkúzió (következmény) is igaz.

A helyes következtetések listája elég nagy, ám vannak bizonyos tekintetben alapvetőnek tekinthető kövekeztetések, melyeket könnyen lehet kategorizálni a bevezetési és kiküszöbölési szabályok szerint. A legegyszerűbb eset az és mondatoperátorral összekötött összetett mondatokra vonatkozó bevezetési és kiküszöbölési szabály.

$\frac{A\wedge B}{A},\quad\quad\frac{A\wedge B}{B}$