Ion se promène Index du Forum

Ion se promène
Idées, discussions, échanges.

 FAQFAQ   RechercherRechercher   MembresMembres   GroupesGroupes   S’enregistrerS’enregistrer 
 ProfilProfil   Se connecter pour vérifier ses messages privésSe connecter pour vérifier ses messages privés   ConnexionConnexion 

Synthèse du cours de logique

 
Poster un nouveau sujet   Répondre au sujet    Ion se promène Index du Forum -> Partage de cours -> Semestre 3 -> Logique
Sujet précédent :: Sujet suivant  
Auteur Message
Alice Lune
Administrateur

Hors ligne

Inscrit le: 19 Jan 2012
Messages: 82

MessagePosté le: Jeu 19 Jan - 20:05 (2012)    Sujet du message: Synthèse du cours de logique Répondre en citant



Connecteurs logiques


p
q
p ∧ q
p ∨ q
p ⊃ q
q ⊃ p
p ≡ q
T
1
1
1
1
1
1
1
1
1
0
0
1
0
1
0
1
0
1
0
1
1
0
0
1
0
0
0
0
1
1
1
1
















p
q
p | q
pq
p ⊅q
q ⊅p
pwq
A
1
1
0
0
0
0
0
0
1
0
1
0
1
0
1
0
0
1
1
0
0
1
1
0
0
0
1
1
0
0
0
0





Lois


(p ⊃ q) ≡ (~p ∨ q)


(p ∨ q) ≡ ~(~p ∧ ~q)


p ∧ q ≡ ~(~p ∨ ~q)


~(p ∨ q) ≡ (~p ∧ ~q)


~(p ∧ q) ≡ (~p ∨ ~q)


(p ≡ q) ≡ (p ⊃ q) ∧ (q ⊃ p)


Modus ponens : [p ∧ (p ⊃ q) ] ⊃ q


Modus tollens : [(p ⊃ q) ∧ ~q ] ⊃ ~q




Principes


p ≡ p : principe d'identité fort


p ⊃ p : principe d'identité faible


~p ∨ p


p ∨ ~p : principe du tiers-exclu


~(~p ∧ p)
~(p ∧ ~p) : principe de non-contradiction




Distribution


(p ∧ q) ∨ r => (p ∨ r) ∧ (q ∨ r)


(p ∨ q) ∧ r => (p ∧ r) ∨ (q ∧ r)




Conditions suffisantes / conditions nécéssaires


Implicante : si, il suffit que
Impliquée : il faut que, il est nécéssaire que, ce n'est que si
_________________
Fulek fulek !
Revenir en haut
Publicité






MessagePosté le: Jeu 19 Jan - 20:05 (2012)    Sujet du message: Publicité

PublicitéSupprimer les publicités ?
Revenir en haut
Montrer les messages depuis:   
Poster un nouveau sujet   Répondre au sujet    Ion se promène Index du Forum -> Partage de cours -> Semestre 3 -> Logique Toutes les heures sont au format GMT + 2 Heures
Page 1 sur 1

 
Sauter vers:  

Index | Panneau d’administration | créer un forum gratuit | Forum gratuit d’entraide | Annuaire des forums gratuits | Signaler une violation | Conditions générales d'utilisation
Powered by phpBB © 2001, 2005 phpBB Group
Traduction par : phpBB-fr.com