• Negarea - o operație logică prin care se obține unul dintre cele mai noi declarații, în timp ce simplu judecata P este transformată în complex, iar în cazul în care propunerea inițială simplă este adevărată, noua declarație complexă este fals - „adevărat că P».
• negativ dublu - o operațiune care negarea unei hotărâri negative. negare repetată conduce la stabilirea sau, în caz contrar, negarea negației
Luați în considerare regula de inferență, adică introducerea unei excepții în judecăți complexe.
definiție generală: fiecare dintre regulile de inferență permit presupunerea de reguli pentru a scrie formula de genul care are drepturile deținuților.
Introducere coroborat - dvuhposylochnoe regulă care permite combinarea a două cu formula «a» și «b» coroborat. conjuncțiile Excepție - reguli, premisei vă permite să selectați atât membrii din stânga și din dreapta ale conjuncția
Introducere disjuncție - reguli premisei care atestă posibilitatea de a atașa o formulă «o» formula «b»
Excepție disjuncție - dvuhposylochnoe regulă care să ateste că are formula o sau formula B și, anulând una dintre clauze pot trece la formula 2a disjuncție.
negând Excepție - reguli premisei, care permite de a elimina orice dubla negație cu formula
Specificul normelor de administrare a regulilor de implicare și negație pe care le transforma pe formula „c“, iar aceasta este ultima parcela în argumentul.
Introducerea Implicația - reguli, în cazul în care premisei pentru a pune un loc din urmă declarație antecedent, și locul în consecință cu formula dorită.
Introducere negație - dvuhposylochnoe regulă care să permită la deducând 2 formule merg cu formula sunt în contradicție cu negarea ultimul argument.
Introducere echivalență - dvuhposylochnoe regulă care permite formulele A și B, care exprimă link-ul de salt înainte și înapoi condiționată la concluzia că acestea sunt echivalente.
Excluderea de echivalență - reguli care permit premisei echivalența formulelor A și B pentru a obține formule pentru o relație directă și inversă A și B.
21. Legile logica determinarea exemple de aplicații de intrare simbolice.
gândire lege sau lege logică - o propunere care exprimă necesitatea interior pentru o legătură substanțială între gândurile sau elementele lor în procesul de raționament sau probe.
În logica formală, există patru legi de bază: identitate, contradicție, și exclus un motiv suficient de mijloc. Aceste legi sunt fundamentale, deoarece ele exprimă proprietățile cele mai generale de gândire: certitudine, coerență, consecvență și valabilitatea.
Legile logicii nu sunt dependente de conștiința și voința poporului, să acționeze în orice rassudzhenii.
legea identității exprimă certitudinea gândirii. Conform acestei legi, fiecare gând în procesul de raționament ar trebui să fie identică cu ea însăși. Acest lucru înseamnă că obiectul de gândire trebuie să fie luate în considerare în același conținut al simptomelor lor pe tot raționamentul sau probele. (Și au o)
Din esența acestei legi implică o cerință importantă: este imposibil să nu gânduri identice luate ca identice, se poate lua o varietate de idei pentru identice. Gând trebuie să fie formulate astfel încât să se evite ambiguitatea termenilor utilizați.
În logica matematică, legea se exprimă sub forma unor formule identic adevărate:
p ® p - dacă p atunci p
Încălcarea cerințelor care decurg din legea identității, conduce la aberația logic - „substituirea conceptelor“ Esența ei constă în faptul că în locul acestui concept este folosit mai mult.
Identificarea conceptelor apare cel mai adesea inconștient, din cauza ambiguității limbajului, dar, uneori, schimbarea este făcută în mod intenționat, în mod deliberat.
legea contradicției exprimă cerința coerenței și a secvenței de gândire. Acest lucru înseamnă că anumite dispoziții ale recunoaște ca fiind adevărate și în curs de dezvoltare din concluziile acestor dispoziții, nu putem permite în raționamentul sau o dovadă a oricăror afirmații care sunt contrare ceea ce a fost spus înainte de a fi.
contradicție Legea prevede: două sunt în negare cu privire la declarații nu pot fi ambele adevărate; cel puțin una dintre ele trebuie să fie false. Trebuie avut în vedere faptul că această lege este valabilă doar în ceea ce privește aceste hotărâri, care se referă la același subiect, luate în același timp și în același sens. În cazul în care această condiție nu este îndeplinită, legea contradicției nu se aplică.
Act contradicții este în vigoare în ceea ce privește contrarii (opuse) și kontradiktornyh declarații (contradictorii).
În logica matematică, legea contradicției exprimată prin formula:
- în mod eronat, că acestea pot fi simultan adevărate propunere și negația.
Legea mijloc exclus. Conform acestei legi, două propuneri contradictorii unul și numai unul este adevărat. Acesta este cazul atunci când „nici o cale de mijloc“, adică o declarație adevărată nu poate fi încheiat între situațiile conflictuale.
hotărâri contradictorii chemat, dintre care unul este aprobat fie (sau refuzate) fiecărui obiect dintr-un set, iar celălalt este negată (aprobat) de o parte a setului. Aceste declarații nu pot fi atât nici adevărat, nici fals: dacă una dintre ele este adevărat, celălalt în mod necesar fals, și vice-versa.
Ca și legea contradicției exprimă legea secvenței de mijloc excluse și coerența gândirii. Este nevoie de un răspuns clar definitive, arătând spre incapacitatea de a răspunde la aceeași întrebare în același sens, și „da“ și „nu“, incapacitatea de a căuta ceva între o declarație de ceva și negare la fel.
de exemplu. toți oamenii sunt galant, unele muzhchiy nu yavl. galant.
În logica matematică, legea are formula - sau p nu este adevărat că p.
legea rațiunii suficiente exprimă cerința probelor, validitatea gândirii. Conform acestei legi, fiecare idee adevărată trebuie să fie justificată de alte gânduri, care au fost deja dovedite adevărate. Gânduri (decizii), care sunt date pentru a justifica valabilitatea alte gânduri, numite baze logice. Ideea care curge de la ceilalți ca bază, numită o consecință logică.
formularea legii: în cazul în care există un „B“, substantivul-este baza de „A“.
Exemplu: Orice acuzație trebuie să fie justificată
Toate legile sunt obiective, și anume. există indiferent de faptul conștiinței umane. În logica logică. lege ca fiecare fotrmula identic adevărat.