A harmadik út - összefoglalva

Gyakorlati óraszám 4 „logikai”

Definíció: Legyen a két képlet adott. A formula egy logikai következmény képletek. ha értéket adó változók. amelyen függ az egész a vonatkozó képlet, amikor igaz ugyanabban az időben, az összes képlet. és igaz formula.

Mert a logikai következmény használt eredménye: # 9500; # 9472; . Az érvelés lesz írva formájában az érvelés rendszerek:

Három módon, hogy ellenőrizze a gondolatmenet helyességét:

I. meghatározását alkalmazni:

a) rögzíti az összes helyiségek és következtetések formájában képletek propozicionális logika;

b) hogy a kötőszó formális parcellák;

c) ellenőrizze az igazság táblázat, hogy az a következtetés a képlet.

II. Használja a logikus következménye Jelenség:

Formula logikusan következik a képlet akkor és csak akkor, ha az általános képletű tautológia. Annak ellenőrzésére, szükség van építeni egy igazság táblázat a képlet. vagy átalakítani ezt a képletet használva a transzformációk egyenértékű az ismert tautológia.

III. Tegyünk egy gyorsírásos módszer hitelesítésének logikus érvelés.

Az érvelés épül „ellentmondást”:

Az érvelés hibás, ha van egy sor változót úgy, hogy a kiküldetés () = 1, és a következtetés () = 0.

Rövidített módszer a következő.

Tegyük fel, hogy azt szeretnénk, hogy érvényesítse a logikus következménye a képlet a parcellák.

Tegyük fel, hogy van egy sor. amelyben az összes helyiségek igazak és a következtetés hamis, és próbálja megtalálni a készlet. Ha egy ilyen készletet talált, akkor a feltételezés indokolt, és az érvelés logikailag helytelen. Ha a folyamat keres egy sor megérkezik egy ellentmondás, akkor a feltételezés téves, és az érvelés logikailag helyes.

Ha a paralelogramma átlói kölcsönösen merőleges (A), a paralelogramma - gyémánt (B). Ebben a paralelogramma nem egymásra merőleges átlók (tagadás A), így ez nem egy rombusz (tagadás B) ».

Chart logikai érvelés:

Az első módszer annak ellenőrzésére - definíció szerint. Azt, hogy a kötőszó formális parcellák :.

Nézze meg az igazság táblázat: