C'est quoi la conjonction de deux propositions ( p et q)
Cest quoi a disjonction exclusive de deux propositions (p ou exclusivement q)
C'est quoi l'implication?
Quelle est l'équivalence ou biconditionnelle
disjonction ( ou disjonction inclusive )
C'est quoi un bit ?
Tautologie
Contradiction
prédicat ou une fonction propositionnelle
Quand est ce que un prédicat devient une proposition?
Quelle est la valeur de P(2) du prédicat P(x) : x > 3
Quelle est la proposition du predicat P(x, y) : x = y + 3 pour la valeur p(2,1)
Nommez 2 type de quantifications
Quelle est le theoreme de Commutativité?
Quelle est la theorie de l'associativité?
C'est quoi la théorie de la Distributivité?
Quantitificateur universelle
Exprimez l'énoncé "Si une personne est une femme et un parent, alors cette personne est la mère de quelqu'un." sous forme d'expression logique. F(x) : "x est une femme", P(x) : "x est un parent" et
Q(x, y) : "x est la mère de y."
Variable liées
Variable dont l'occurence est libre
La Démonstration
Lemme
Corollaire
Loi de détachement ou modus ponens
Démonstration par la méthode directe, cas 1 proposition universelle
Démonstration par la méthode directe, cas 2 : Démontrer une implication