Qu’est ce qu’une proposition en logique (3)
Énoncé qui est vrai ou faux
Ne peut pas être question, impératif ou interjection (ouch)
Ex: Si tu tournes à gauche, tu vas être sur la rue principale. (2 propositions)
Que contient une formule logique (2)
Propositions élémentaires et connecteurs
Proposition élémentaire vs non élémentaire
Non élémentaire = phrase contient plus d’une proposition
Types de connecteurs (5)
Négation
Disjonction (ou)
Équivalence (si et seulement si)
Conjonction (et, mais)
Implication (si P, alors Q)
Qu’est ce qu’un ou exclusif?u
Un « ou » exclusif signifie l’un ou l’autre, mais pas les deux à la fois.
Dans le tableau c’est le ou non exclusif
Logique des prédicats vs logique des propositions
Proposition:
P=…
Q=…
Prédicat:
aimer(Luc,Marie)
Qu’est-ce qu’un argument
aimer(Luc, chocolat)
2 dans ce cas ci
Arité du prédicat
Prédicat peuvent être quoi
Binaire (2 arguments)
Unaire
Ternaire
Prédicat vs entité
Prédicat:
Vrai ou faux
Verbe, adjectif
Entité:
Qlqch qui existe ou pas
Noms
Antécédent vs conséquent
P —> Q
P= antécédents
Q= conséquent
Tautologie vs contradiction
Tautologie:
Expression qui est toujours vraie
P v –| P
Contradiction:
Expression toujours fausse
P ^ -| P
Arité
Nbre d’arguments
Limite nbre arguments
Aucun
Arité d’un prédicat logique est fixe vrai ou faux
Vrai
Vrai ou faux l’argument d’un prédicat peut jamais être un autre prédicat
Faux
Logique vs sémantique
Logique:
Prédicat et entité
Sémantique:
Prédicat, noms sémantiques et quasi prédicat
P.140
Noms sémantiques vs prédicats vs quasi prédicats
Noms sémantiques:
Entité (ni vrai, ni faux)
Prédicat:
Vrai ou faux
Sens liant
Faits
Quasi-prédicat:
Existe pas en logique
Entité
Sens liants
Relation familiale, profession, animaux domestiques et artéfacts
C’est quoi un artéfact
Défini par sa fonction
Indices relation actantielle (4)
Définition:
Est ce qu’on est obliger de faire intervenir cet élément? Si oui actant
Relations syntaxiques privilégiés:
Voi p.143
Dérivé sémantique:
Ex: louer (locateur, locataire, loyer, terme)
Verbes supports:
Le livre “traite” de sémantique
Livre de sémantique
Anatomie d’une définition
Definiendum = le défini, lexie
Definiens = définissant
Anatomie définition analytique
Genre prochain = grosse classe, unité lexicale, syntagme, certains nombre de lexies ont le même
Différences spécifiques = ce que distingue les lexies sous une même catégorie
5 étapes pour défintion
Identifier nature prédicative de la lexie (indiquer les arguments)
Identifier son genre prochain
Identifier le type sémantique de ses actants (arguments)
Identifier les autres différences spécifiques
Valider la définition
Nature prédicative de la lexie
Utilise forme propositionnelle
(Lexie accompagnée de variable pour démontrer arguments)
Ex: X gifle Y