Logisch gevolg: verschil tussen versies

Een voorbeeld van een logisch gevolg is de zin "[[Beatrix der Nederlanden|Beatrix]] houdt elk jaar op [[Prinsjesdag]] de [[Troonrede]]". Deze zin is een logische implicatie is van de twee zinnen "Beatrix is de koningin van Nederland" en "De koningin van Nederland houdt elk jaar op Prinsjesdag de Troonrede". Het zou logisch gezien niet kloppen om een van deze twee proposities te ontkennen en tegelijkertijd toch de propositie "Beatrix houdt elk jaar op Prinsjesdag de Troonrede" voor waar aan te nemen, aangezien de [[waarheidswaarde]] van de laatste propositie is namelijk volledig afhankelijk van die van de andere twee. Als in de ook maar iets zou veranderen - bijvoorbeeld doordat Beatrix niet langer koningin van Nederland zou zijn of doordat de Troonrede naar een andere dag zou worden verplaatst - verliest de propositie "Beatrix houdt elk jaar op Prinsjesdag de Troonrede" haar geldigheidswaarde.

 

ψ :"Beatrix is de koningin van Nederland"

φ : "De koningin van Nederland houdt elk jaar op Prinsjesdag de Troonrede"