Téléchargement au format .pdf

36 La categorisation et la quantication dans la tradition logico-philosophique
se lit : Aneserealise pas ou A n'a pas lieu.
La petite barre verticale est la barre de negation.
Le symbole :
represente le contenu de non-A.
A
A
La barre de negation est rattachee a la barre du contenu propositionnel, donc
Frege considere la negation comme un operateur qui agit sur le contenu propositionnel.
Une expression de l'assertion d'un contenu propositionnel et de l'assertion
de la negation d'un contenu propositionnel utilisant des primitives et la logique
combinatoire est presentee en A (III).
2.2.1.5 Autres connecteurs du calcul propositionnel
1. La disjonction _. La disjonction _ est representee en utilisant :
A _ B :B A
Le symbole pour A _ Best:
A
B
2. La conjonction ^. La conjonction ^ est representee en utilisant :
A ^ B :(B :A)
Le symbole pour A ^ Best:
A
B
3. Le \ou exclusif" : \soit...soit". Le \ou exclusif" est represente en utilisant :
(B :A) ^ (: B A)
ou
(: B _:A) ^ (B _ A)
ou