Proposisionele logika: Verskil tussen weergawes

As ons kyk na die logiese vorm van sinne wat uit eenvoudige ("atomiese") sinne opgebou is met behulp van die logiese woordjies, konnektiewe, soos "nie", "en", "of" en "as ..., dan ...", dan het ons te doen met proposisionele logika, waar 'n proposisie dit is wat 'n sin sê, 'n bewering dus.

 

 

Let op dat daar net een geval (een ry in die tabel) is waarin (1) en (2) beide waar is, naamlik die derde van die vier rye. In daardie geval is (3) ook waar, en ons het dus 'n geldige argument.