en une : Cours philo : Dieu

Logique classique

Philosophie > sujets expliqués - Question simple
                
On considère un système de calcul des propositions où les seuls connecteurs sont les connecteurs binaires -->et<-/-. <-/- peut être considéré comme la négation de l'implication converse, i. e. p<-/-q a la même table de vérité que négation (q-->p).
a) Que dire de la formule p<-/-p?
b) A quelle formule simple équivaut
p-->(p<-/-p)?
c) On peut en conclure que pour toute formule du calcul usuel on peut trouver une formule équivalente dans le présent système, pourquoi?
d) Ecrire dans ce système une formule équivalente à p v p.
Documents attachés :    aucun document joint.
suite de la fiche