Logică

Logică Logic

Introducere in logica: definitie, obiect, importanta Propozitia si enuntul: definitie, valori de adevar Propozitii simple si compuse: identificare si exemple Operatori logici: negația, conjuncția, disjuncția Conjuncția: definiție, tabela de adevăr, exerciții Disjuncția (incluziva): definiție, tabela de adevăr, exerciții Negația: definitie, tabela de adevar, exercitii Propozitii compuse cu mai multi operatori: construire si evaluare Tabele de adevăr pentru propoziții compuse (medium) Egalitatea logica si legile lui De Morgan Implicația logică: definiție, tabelă de adevăr, exerciții Echivalența logică: definiție, tabelă de adevăr, exerciții Predicate si cuantificatori: cuantificatorul universal Cuantificatorul existential: definitie si exemple Propozitii cu cuantificatori: exercitii de traducere si evaluare Relatia dintre propozitii si multimi: subiect, predicat, circumferinta Clasificarea propozitiilor dupa cantitate si calitate (A, E, I, O) Patratul logic si relatiile dintre propozitii (contrarietate, subcontrarietate etc.) Conversiunea logica: definitie si exercitii Silogismul: definitie, structura, termeni Reguli si figuri ale silogismului categoric Greseli logice frecvente (erori de rationament) Aplicatii ale logicii in matematica si viata cotidiana Test de recapitulare: probleme integratoare (teorie si exercitii)

Logica propozitiilor Logica predicatelor Formule propozitionale si tabele de adevar Legi logice fundamentale (principiul identitatii, al noncontradictiei, al tertului exclus) Ratiunea deductiva: moduri silogistice (Barbara, Celarent, etc.) Silogismul categoric si regulile lui Operatii logice: conjunctie, disjunctie, implicatie, echivalenta Negatia si formele ei in logica clasica Ratiunea inductiva si notiunea de generalizare Definitii si clasificari logice (gen proxim, diferenta specifica) Propoziții categorice (A, E, I, O) și pătratul logic Deductia naturala si metode de demonstrare (regula modus ponens, modus tollens) Propoziții, judecăți și termeni Erori logice (sofisme si paralogisme) Operații logice asupra propozițiilor (negația, conjuncția, disjuncția, implicația, echivalența) Cuantificatori (universal si existential) si semnificatia lor Tabele de adevăr și formule logice (tautologii, contradicții, contingente) Logica propozițiilor: valori de adevăr, operatori, tabele de adevăr Legatura dintre logica formala si limbajul natural (analiza propozitiilor) Legile logicii propozițiilor (comutativitate, asociativitate, distributivitate, legile lui De Morgan) Legile logicii propozițiilor (comutativitate, asociativitate, distributivitate, legile lui De Morgan, principiul dublei negații) Cuantificatori (universal, existențial) și propoziții categorice Forme ale raționamentului deductiv: modus ponens, modus tollens, silogismul hipotetic și disjunctiv Logica propozitiilor: simbolizare, tabele de adevar, tautologii, contradictii, contingente Silogismul categoric (figuri, moduri, reguli, validitate) Silogismul categorial: structură, termeni, moduri și figuri silogistice Operatori logici si proprietatile lor: negatie, conjunctie, disjunctie, implicatie, echivalenta Diagrame Venn și testarea validității silogismelor Reguli de validitate a silogismului și erorile frecvente (termeni ne-distribuiți, concluzie nejustificată) Legi logice fundamentale: identitate, non-contradictie, tert exclus, dubla negatie Relații logice între propoziții categorice (pătratul logic al opoziției) Propoziții categorice: tipuri (A, E, I, O) și distribuția termenilor (pătratul logic al opoziției) Reguli de deductie si inferenta: modus ponens, modus tollens, silogismul ipotetic Raționamentul deductiv și inductiv (definiții, tipuri, exemple) Raționamente inductive: generalizarea inductivă, analogia, raționamentul statistic Silogismul categoric: termeni, premise, concluzie, moduri si figuri silogistice Definiții și clasificări în logică (definiția nominală, reală, clasificarea logică) Demonstrația și argumentarea: structura unei demonstrații, tipuri de argumente (deductive, inductive, abductive) Reguli de validitate a silogismului: distributia termenilor, reguli de forma Demonstrația logică și argumentarea (structura argumentului, premise, concluzie) Erori logice formale și informale: petiția de principiu, falsa cauză, apelul la autoritate, generalizarea pripită Erori logice (sofisme, paralogisme, fallacy-uri comune) Propozitii categorice: tipuri A, E, I, O, patratul logic opozitional Teoria mulțimilor aplicată în logică: operații cu mulțimi, reprezentare prin diagrame Venn Logica predicatelor (extinderea logicii propozițiilor, forme standard) Transformari de propozitii: conversiune, obversiune, contrapozitie Relațiile între propozițiile categorice: contrarietate, subcontrarietate, contradicție, subalterne Relația dintre logică și cunoaștere (adevăr, validitate, corectitudine) Rationamente inductive si deductive: definitii, diferente, criterii de corectitudine Logica predicatelor: cuantificatori universali și existențiali, simbolizare și interpretare Aplicații ale logicii în limbajul natural și dezbateri (argumentare critică) Paradigme logice si sofisme: erori de rationament (ambiguitate, petitio principii) Echivalențe și transformări logice: negația propozițiilor compuse și categorice, conversiunea, obversiunea, contrapoziția Logica predicatelor de ordinul I: cuantificatori, variabile, functii propozitionale Raționamentul ipotetic: condiționalul direct și invers, lanțuri de implicații, condiții necesare și suficiente Metoda deductiei naturale in logica propozitionala si a predicatelor Teoria demonstratiei: demonstratii directe, indirecte (reductio ad absurdum), conditionalizare Aplicatii ale logicii in limbaj natural si stiinte: analiza argumentelor, falsificabilitate Rationamente ipotetice si conditionale: implicatie stricta, necesitate, posibilitate in logica modala elementara Logica propozitiilor Operatori logici (conjunctie, disjunctie, implicatie, echivalenta, negație) Tabele de adevar si formule logice Legi logice fundamentale (comutativitate, asociativitate, distributivitate, De Morgan) Forme normale (FND, FNC) Reguli de inferenta (modus ponens, modus tollens, silogismul) Demonstratii si scheme de deductie Metoda arborilor de decizie in logica propozitiilor Logica predicatelor (cuantificatori existential si universal) Predicate, functii propozitionale si domenii Legi ale cuantificatorilor si negarea acestora Silogismul categoric (figuri si moduri) Ratiunea deductiva si inductiva Erori logice si sofisme (fallacies) Clasificarea propozitiilor categorice (A, E, I, O) Patratul logic al opozitiei (contradictie, contrarietate, subalternare) Tehnici de rezolvare a problemelor de logica (Bacalaureat) Aplicatii ale logicii in informatica si matematica Rationamente si demonstratii in contexte interdisciplinare Teste si exercitii recapitulative pentru Bacalaureat