Discussion:Formule logique
- Admissibilité
- Neutralité
- Droit d'auteur
- Article de qualité
- Bon article
- Lumière sur
- À faire
- Archives
- Commons
Titre[modifier le code]
"formule bien formé" est une traduction littérale de well-formed formula. En anglais on appelle ça également formula (on appelle pas formule ce qui n'est pas bien formé). En français il me semble que formule bien formée existe mais est assez rare, les ouvrages de base que je connais appellent formule ce qui est appelé ici formule bien formée.
D'autre part il existe formule (mathématiques) qui traite, pour le moment en tout cas, exactement le même sujet. Je serais soit pour un éclaircissement (formule en mathématiques peut avoir un autre sens, mais mérite-t-il un article ?), soit pour une fusion, sous un tiitre approprié (pas celui-ci). Proz (d) 25 juin 2009 à 10:05 (CEST)
- Renommé formule logique; En mathématiques formule à un sens plus large, cependant formule (mathématiques) traite bien des formules logiques. Proz (d) 19 juin 2013 à 21:50 (CEST)
Phrases illogiques, un comble ![modifier le code]
Quelqu'un de compétant voudra t-il se donner la peine de revoir l'ensemble de la page ? En dehors de nombreuses et grave fautes de grammaire qui trahissent la superficialité de certains contributeurs, de nombreuses phrases de cette page sont illogiques et totalement insensées. Deux exemples :
"En logique on dit d’une suite finie de lettres qu’elle est une formule, ou parfois formule bien formée, d'un langage logique donné lorsqu’elle peut être construite en appliquant une combinaison des règles de la grammaire formelle associée, on parle de la syntaxe du langage."
"L'utilisation clé de formules est en logique propositionnelle, telle que la logique du premier ordre."
Dans la première, par exemple, quel sens donner au mots "lettre", "peut" et "associée" ?
La logique est une science difficile qui n'est manifestement pas à la portée de tous.
D'avance merci.