Limba de logica propozitiilor conține reguli pentru transformarea formulelor logice. Aceste reglementări pune în aplicare legile generale logice, furnizând astfel un raționament logic corect.
Raționament (inferență) - procesul de dobândire de noi cunoștințe, declarații exprese, cunoașterea celuilalt, așa cum este exprimat în declarațiile. Declarații inițiale numite premise (ipoteze, termeni și condiții), și declarațiile rezultate - Concluzie (consecință).
Enumerăm schemele cele mai utilizate de raționament logic corect:
1. Drepturile deținuților - aprobarea modus: „În cazul în care declarațiile A implică B și afirmația este adevărată (adevărat) propoziția A, atunci B este adevărat.“
2. Negarea dreptului - modus negativ: „În cazul în care, în declarația Asleduet, dar Vneverno, A. incorect
3. Regulile de afirmare-negare: „Dacă este adevărat sau declarația A sau declarația B (în sensul de separare) și una dintre ele este adevărat, celălalt fals.
4. norme de omologare de negare:
4.1. „Dacă este adevărat sau A sau B (în sensul de separare) și una dintre ele este greșit, atunci un prieten adevărat.“
4.2. „În cazul în care A sau B este adevărat (în sensul de inclusiv) și una dintre ele este greșit, prieten adevărat“:
5. Regula tranzitiv: "Dacă A implică B și de la B urmează C, apoi Asleduet C".
6. Legea contradicției: „Dacă A implică B și atunci A nu este adevărat“:
7. Articolul contrapositive, „Dacă A implică B, atunci ceea ce este greșit în ea rezultă că este greșit A.
8. Articolul contrapositive complex, „Dacă A și B presupune C, atunci A și B ar trebui să fie Nes Neuve.
9. Regula tăiat: "Dacă A implică B și de la B și C ar trebui D ar trebui să fie D, A și C".
10. Articolul importatsii (parcelele de asociere):
11. eksportatsii regulei (pachete de separare):
12. Reguli de dileme:
Notă. Pentru a construi formulele logice care să reflecte mai sus argumente în mod logic corect trebuie sa se conecteze toate parcelele ligamentului „și“ (), și, astfel, trimiterea buchet generalizat „dacă atunci. »(→). De exemplu, regula de inferență trebuie să fie reprezentată printr-o formulă logică:
Exemple de considerente care nu sunt corecte sunt:
Pentru a verifica dacă această deducție este logic corect, pentru a restabili sistemul de motivare și de a stabili dacă acesta aparține schemele de raționament logic corect.
Care schemă includ următorul argument: „În cazul în care lucrătorul a fost absent de la locul de muncă, el nu a îndeplini sarcina. El nu a efectuat sarcina. În consecință, el a fost absent de la locul de muncă. "
Notăm fiecare dintre propozitii simple: A - absente de la locul de muncă; B - nu și-a îndeplinit sarcina. El nu a efectuat sarcina (B). „În cazul în care lucrătorul și el V. În, prin urmare, A“. Conducerea acest raționament se aplică schema (a) speculații incorecte.
Care schemă includ următorul argument: „Această persoană este un student sau un om de afaceri. El este student. În consecință, nu un antreprenor. "
Notăm fiecare dintre propozitii simple: A - elev; În - profesorul. Prin urmare, această persoană A sau B. A. Nu este. " Având în vedere că, în prima teză „sau“ unirea utilizată în sensul inclusiv. Circuitul corespunde schemei (a) speculație incorectă.
Care schemă includ următorul argument: „Acest om a trăit la Moscova sau Belgorod. El trăiește în Belgorod. În consecință, el nu locuiește la Moscova. "
Notăm fiecare dintre propozițiile simple de: „Acest om a trăit în Belgorod (A) sau Moscova (B). El nu locuiește în Belgorod (HEA). De aceea, el trăiește la Moscova (B). " Raționamentul este corectă.