Propositielogica - Geldigheid
17 belangrijke vragen over Propositielogica - Geldigheid
Wat is een logische wet?
Wat is het verschil tussen een functie en een redeneervorm?
Redeneervorm ==> regels ==> geldigheid
Hoe zet je een redeneervorm om naar een functie?
- Verbind de premissen in conjunctie(s) met elkaar
- Gebruik de geconjuncteerde premissen als antecedent en de conclusie als consequens van een implicatie
p ➝ q ((p ➝ q) ∧ p) ➝ q
p
----------
q
- Hogere cijfers + sneller leren
- Niets twee keer studeren
- 100% zeker alles onthouden
Voor mijn 1e tentamen haalde ik een 6. Toen ben ik gaan zoeken naar manieren om beter te leren en ben ik Study Smart tegen gekomen. Sindsdien heb ik een 9,0 - 8,0 - 7,6 - 8,0 - 8,0 gehaald. Ik raad het echt íédereen aan die het maar horen wil. Ik ben er zo blij mee!!
Met mijn oude methode was ik geslaagd voor maar 3 van de 8 vakken. Sinds ik mijn aantekeningen digitaal maak in study smart, ben ik voor alle vakken de éérste keer geslaagd. StudySmart neemt voor mij de stress van slagen of niet slagen weg.
Door StudySmart gaat het op zo veel vlakken beter met mij. Eerst had ik continu studiestress en ik had nergens tijd voor. Nu voel ik mij rustig en zelfverzekerd (door gebruik van het programma). Eerst haalde ik meestal een 7, nu vaak een 8 of zelfs een 9.
Hey Chris, ik wil je echt hartelijk danken voor het ontwikkelen van het platform. Ik haalde hiervoor altijd rond de 6/10 voor m'n tentamens, nu een 8,6, een 7,9 en een 7,6!!
Sinds ik Study Smart gebruik, is mijn gemiddelde 1 punt gestegen. Ik heb zelfs een statistisch vak met een 10/10 afgerond terwijl ik slecht ben in statistiek. Nu volg ik extra vakken omdat vorig jaar zo goed ging door Study Smart. Veel dank!
Sinds ik ben gaan leren met StudySmart ben ik geslaagd voor al mijn examens!!! Geen herexamens!! Eerst was ik al blij met een voldoende en nu haal ik alleen maar goede cijfers. Veel dank!
Ik heb alle vakken die ik met Study Smart heb geleerd gehaald. Met rechten ben ik van een 5 naar een 8 gegaan! Ik weet nu zeker dat ik al mijn vakken gewoon ga halen.
Ik dacht altijd dat ik goed studeerde. Mijn cijfers waren ook prima. Ik had mij nooit kunnen voorstellen dat ik zo veel beter en sneller zou studeren door het toepassen van deze vaardigheden.
Ik voel mij voor het eerst 100% zeker over de manier waarop ik leer. Ik heb nu het complete overzicht en de structuur die ik nodig had
Door Study Smart kreeg ik weer plezier in het studeren en haalde ik direct betere cijfers. Alles ging ineens beter. Ik raad Study Smart enorm aan aan scholieren en studenten.
Met dit plaform kan ik super snel en gestructueerd studeren. Ik ben nooit meer de weg kwijt in de stof of in mijn aantekeningen en maak veel sneller goede samenvattingen.
Eerst waren mijn aantekeningen een zooitje. Nu gebruik ik Study Smart en studeer ik super gestructureerd. Het helpt mij om tijd te besparen waardoor ik ook andere dingen kan doen die ik belangrijk vind.
Leerlingen die met het systeem hebben gewerkt hebben gewoon een beter resultaat behaald. Het systeem past alle leertrucjes zo toe, dat zowel de kinderen die goed scoren, maar ook zij die minder scoren, aan hun trekken komen.
Hey Chris, ik wil je enorm bedanken. Het vak waar ik vorig jaar nog net een 5,5 voor haalde, heb ik nu voor ditzelfde vak maar liefst een 9,7 gehaald! Mede dankzij jouw methode! Heel erg bedankt!
Het grootste effect is dat mijn kind veel enthousiaster is over school! Elke ouder wilt graag dat zijn kind het goed doet op school, en Study Smart draagt daar aan bij.
Dankzij StudySmart heb ik vorig jaar al mn examens gehaald en ook veel betere punten gehaald. Maar bovenal heb ik nu gewoon een heel goede studiemethode onder de knie, waarmee ik zeker weet dat ik de rest van mijn studie gewoon ga halen.
Wat is een tautologie, een contradictie en een contingent?
- Tautologie: een uitdrukking die altijd waar is (een logische wet)
vb. p ∨⁊ p - Contradictie: een uitdrukking die nooit waar is
vb. p ∧⁊ p - Contingent: een uitdrukking die noch tautologisch is, noch contradictorisch (kan zowel waar als onwaar zijn)
vb. p ➝ ⁊ p
Welke semantische methodes zijn er om na te gaan of een uitdrukking een logische wet is (bepalen geldigheid)?
- Directe methode
- Indirecte methode ==> methode van de fasificatie
- Methode van de volledige waarheidstafel
Hoe ga je te werk bij de directe methode?
- kijk hoeveel ongelijkvormige variabelen er zijn
- stel het aantal mogelijke substituties op (2n)
- realiseer deze mogelijkheden al substituerend in de elementaire uitdrukkingen
- ga hiermee door tot slechts één cijfer overblijft. Zodra een 0 tevoorschijn komt bij een uitkomst is de uitdrukking geen logische wet. Is de uitkomst bij alle substituties 1, dan is het wél een logische wet.
Hoe ga je te werk bij de methode van falsificatie (indirecte methode)?
- Gebruik vanaf 4 variabelen deze methode
- Ken aan de argumenten van de hoofdfunctor net die waarde toe zodat ze een nul oplevert (=tegenvoorbeeld) en ga omgekeerd (ivt de directe methode) te werk
- Als er ergens een tegenspraak is, is de formule een logische wet. Indien er geen tegenspraak is, dan is er (tenminste) één tegenvoorbeeld te vinden en is het geen logische wet.
Hoe ga je te werk bij de methode van de volledige waarheidstafels?
- stel de volledige waarheidstafel op met de verschillende mogelijkheden van de variabelen
- pas per mogelijkheid de substitutie toe en reken de formule uit. Hou rekening met de volgorde zoals haakjes eerst, enz.!
- Indien alle uitkomsten van de mogelijkheden één zijn, dan is de formule een logische wet. Als er ook maar één nul is, dan is ze dat niet.
Waarom is het toepassen de wetten en regels van de elementaire redeneervorm syntactisch?
Wat is het onderscheid tussen een wet en een regel?
Een regel zegt wat je mag doen en is geldig (syntactisch)
Wat verstaan we onder elementaire redeneervormen?
Hoe zou men van een wet een regel kunnen maken?
Vb.
de simplificatie wet (p∧q)➝p wordt volgende regel
I- p∧q
I- p
Wat is het verschil tussen een afleidingswet en een vervangingswet?
Vervangingswet: in 2 richtingen te gebruiken
Welke zijn namen van de afleidingswetten voor elementaire redeneervormen? (formules zelf: zie pag 138)
- Conjunctie (Conj.)
- Simplificatie (Simpl.)
- Additie (Add.)
- Hypothetisch syllogisme (H.S.)
- Ponendo Ponens (P.P.)
- Tollendo Tollens (T.T.)
- Ponendo Tollens (P.T.)
- Tollendo Ponens (T.P.)
- Disjunctieve koppeling (D.K.)
+ Constructief dilemma (C.D.) - Destructieve disjunctieve koppeling (D.D.K.)
+ Destructief dilemma (D.D.)
Welke zijn namen van de vervangingswetten voor elementaire redeneervormen? (formules zelf: zie pag. 138 en 139)
- Dubbele negatie (D.N.)
- Commutatie (Comm.)
- Tautologie (Taut.)
- De Morgan (De M.)
- Equivalentie (Eq.)
- Implicatie (Impl.)
- Contrapositie (Contrap.)
- Associatie (Ass.)
- Exportatie (Exp.)
- Distributie (Distr.)
- Absorptie (Abs.)
Wat is het verschil tussen een bewijs via de elementaire redeneervormen en de waarheidsbomen?
Via de waarheidsbomen bewijzen we de ongeldigheid van een redenering: als de boom sluit is de redenering ongeldig, blijft er een tak open dan is de redenering geldig.
Wat is de methode van de waarheidsbomen van Gentzen?
- negatie van de conclusie
- controleer deze negatie
- controleer dan ook de premissen
- vraag: kan ik elk pad van de boom sluiten?
- Zo ja: redenering is geldig
- Zo neen: redenering is ongeldig
De vragen op deze pagina komen uit de samenvatting van het volgende studiemateriaal:
- Een unieke studie- en oefentool
- Nooit meer iets twee keer studeren
- Haal de cijfers waar je op hoopt
- 100% zeker alles onthouden
