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: