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. Om die logiese vorm van sinne duidelik na vore te bring, gebruik ons in die proposisielogika 'n verkorte notasie, wat uit letters en spesiale simbole bestaan. Die atomiese sinne word deur letters aangedui: "Andries gaan" skryf ons net as A; en "Bettie gaan" as B. Die konnektiewe word deur spesiale simbole aangedui: "nie" deur ¬; "en" deur Ù; "of" ("en/of") deur Ú; "as …, dan ..." deur ® Met hierdie afsprake kan ons nou ons voorbeeld van 'n argument in die proposisielogika soos volg neerskryf: (1) A Ú B (2) ¬A (3) B Wat ons hier het, is 'n geldige argumentvorm: vir enige twee sinne in die plek van A en B kry ons 'n geldige argument.