Startpagina / Samenvattingen / Class notes - Logica / conclusie-geldig-tegenvoorbeeld

Samengestelde zinnen - Geldigheid

4 belangrijke vragen over Samengestelde zinnen - Geldigheid

Maak de constructieboom van de formule ¬(P ∧Q)

Bereken de waardenverdelingen van P, Q, P & Q en Niet (P EN Q)

De subformules kan je bedenken door een constructieboom te tekenen.

Hoe tonen we aan dat ¬P een geldig gevolg is van P --> Q en ¬Q?

De bewering is dus waar, want er volgt geen tegenvoorbeeld. Dus om geldig gevolg te bepalen, teken een waarheidstabel, zet alle formules erin. Kijk of in alle gevallen waarin de premissen waar is, de conclusie ook waar is. Als dat altijd het geval is. Dus is de conclusie is het waar.

Hoe laat je zien of een formule geldig is?

Willen we laten zien dat een conclusie ongeldig of niet logisch equivalent is, dan volstaat één tegenvoorbeeld. Willen we daarentegen laten zien dat een conclusie geldig of wel logisch equivalent is, dan moeten we een hele waarheidstabel construeren.

De vragen op deze pagina komen uit de samenvatting van het volgende studiemateriaal:

Logica

Bekijk samenvatting