Annuler
connectez vous
logique en post-bac
- Description de mathématique formelle-termes et relations
- Théorèmes
- Théories logiques
- Équations différentielles : un Cours complet avec des exemples
- Ensemble et application Partie II
- Généralités sur les matrices, applications linéaires, changement de base, rang d'une matrice - supérieur
- Espaces vectoriels et Applications linéaires - supérieur
- Ensemble et application Partie I
Inscription / Connexion Nouveau Sujet
Accueil l'île des mathématiques Forum de mathématiquesListe de tous les forums de mathématiques SupérieurOn parle exclusivement de maths, pour le supérieur principalement, les BTS, IUT, prépas... Autre LogiqueTopics traitant de logique [tout]Lister tous les topics de mathématiques
Niveau autre
logique formelle
Posté par felinfele
Bonjour à tous.
dans le cadre du groupe commutatif des transformations logiques
je dois démontrer que:
R.C (Pwq)
C.R(Pwq)N(Pwq)
(pwq) est un ou exclusif et peut s'écrire (p
q)
(pq)
R((pq)(pq)) donne [(pq)(pq)]
C((pq)(pq)) donne [(pq)(pq)]
C((pq)(pq)) donne [(pq)(pq)]
R(pq)(pq)) donne [(pq)(pq)]
jusque là R.C est équivalent à C.R
N((pq)(pq))
si on enlève cette formule de la tautologie il reste:
[(pq)(pq)]
et ça ne colle pas.
a: mon raisonnement est faux
b: je n'arrive pas à transformer le résultat
(ab)
Merci de votre attention.
Peux-tu décoder ? Que sont R et C ?
Ces notations ne sont absolument pas standard et restent étroitement confinées aux travaux de Piaget.
Ca ne dit rien du tout. Ne peux-tu pas donner une vraie définition ? Ou au moins mettre un lien sur un document où ces notations sont clairement expliquées ?
R: réciproque le résultat est obtenu en conservant la formule mais en niant les propositions qui la composent.
ex R(p=>q) a pour résultat p=>q
c: corrélative on inverse et dans la forme normale disjonctive de la formule
N: est la différence de la forme normale disjonctive de la tautologie et de la formule
Citation :
N: est la différence de la forme normale disjonctive de la tautologie et de la formule
N: est la différence de la forme normale disjonctive de la tautologie et de la formule
Qu'est-ce que ça veut dire ?
Pas très informatif, la photocopie.
Franchement, tout ceci me semble un peu pipeau du point de vue mathématique (je ne prononcerai pas sur l'utilisation de ce formalisme en psychologie).
Ce que j'en comprends :
Les quatre transformations agissent sur des formules propositionnelles à deux variables. Autrement dit, des fonctions quand on voit les choses en termes de table de vérité. Je note
la négation, c.-à-d. la fonction qui échange 0 et 1.
Alors on a ,
),
.
Autrement dit ,
,
,
.
L'identité est alors une évidence ne pas oublier que
est l'identité).
Merci pour ta réponse.
R.C = C.R = N est évident bien sur.
mais dans ce cas précis
N(pwq)devrait donner [(pq )(p q)]
ce que je ne retrouve pas.
La définition de N dans le texte est du verbiage. Ca consiste en fait tout simplement à prendre la négation.
Désolé de paraître abrupt. Tu n'y es pour rien, c'est juste cette présentation alambiquée de choses triviales qui m'horripile.