Oblast u matemtaici koja nema veze sa onom logikom iz svakodnevnog života. Ova se svodi na dokazivanje uz pomoć slova T i obrnuto T.
Primer 1:
Profa: '' Iz tačnog sledi netačno? ''
Učenik: '' Netačno. ''
Profa: '' A, iz netačnog sledi tačno? ''
Učenik: '' Tako je. ''Primer 2:
Profa: '' Beograd je glavni grad Srbije, iz toga sledi da je 2+2=4. ''
Učenik: '' E, da mi je znati gde je tu logika. ''
