Logique de classe

Logique de classe

La logique de classe est une branche de la logique qui se consacre à distinguer raisonnements de redresser les torts en utilisant Diagamas Venn[1].

Utilisa inductions, afim individus positifs, comme fomas de pemisas. Chaque hypothèse qu'une certaine forme de cette logique a son libellé et le sens corespondiente Ainsi, par exemple: Universelle affirmative (dit de type A) [2]

  • Si la proposition «Tous les poissons sont aquatiques. Cela indique que les poissons de classe sont inclus en totalité dans la nature aquatique. Il s'agit d'un ratio total de l'inclusion et la façon de répondre, ou a ou est exprimée par: "Tous les S est P"
  • Universelle négative (appelée type E) [2]
    • "Aucun enfant du vieux». La proposition ci-dessus indique que tout élément de la classe des enfants appartenant à la classe des anciens. Il s'agit d'un ratio d'une exclusion totale et est exprimé, une réponse ou a la forme "Aucun S est P"
  • Particulière affirmative (dit de type I) [2]
    • «Certains étudiants sont des artistes» est une proposition qui stipule qu'au moins une classe d'élèves est inclus dans la catégorie des artistes. Il s'agit d'une relation d'inclusion partielle est exprimé, une réponse ou a la forme "Certains S sont P"
  • Négative particulière (appelée Type O)
    • La proposition «Des roses sont rouges» indique qu'au moins une des roses dehors de la classe du rouge. Voici un rapport d'exclusion partielle, désignés comme "Certains S ne sont pas P" [2]

En utilisant des diagrammes de Venn peut être consulté raisonnement. Si l'argument est valable et la conclusion doit être déterminé à partir des locaux qui sont représentés dans le diagramme[3]

Chaque forme de raisonnement est convertiente, une prémisse qui est équivalent mais avec en face[4] Ex:

  • Tous les S est P. Convertiente:
    • Quelques P est S. P est un sous-ensemble de S
  • Pas de S est P Convertiente:
    • Pas de P est S. P n'appartient pas à S
  • Certains S est P Convertiente:
    • Quelques P est S. Il y a des éléments appartenant à P sont S et vice-versa
  • Certains S aint P Convertiente:
    • (Non devoir)

Références

  1. N. CHAVEZ, A. (2000) Introduction à la logique. Lima: Noriega.
  2. a, b, c et d Garcia Zarate, Oscar. (2007) Logic. Lima: UNMSM.
  3. RAVELLO REA, Bernardo. (2003) Introduction à la logique. Lima: Mantaro.
  4. PEREZ, M. (2006) Logique et argumentation Daily Classic. Bogotá: Editorial Pontificia Universidad Javeriana.

Voir aussi


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Logique de classe de Wikipédia en français (auteurs)

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

  • LOGIQUE MATHÉMATIQUE — La logique au sens étroit du terme, c’est à dire la logique formelle par opposition à l’épistémologie ou à la théorie de la connaissance, se propose de donner une théorie de l’inférence formellement valide. Elle considère comme valide toute… …   Encyclopédie Universelle

  • LOGIQUE (HISTOIRE DE LA) — Ce n’est qu’à une époque relativement récente qu’on a vraiment commencé à s’intéresser à l’histoire de la logique. Jusqu’au milieu du XIXe siècle régnait en effet l’idée que la logique n’avait pas d’histoire, étant, pour l’essentiel, sortie… …   Encyclopédie Universelle

  • classe — [ klas ] n. f. • 1355; lat. classis I ♦ Dans un groupe social, Ensemble des personnes qui ont en commun une fonction, un genre de vie, une idéologie, etc. ⇒ caste, catégorie, clan, état, 1. gent, groupe, ordre. 1 ♦ Antiq. Chacune des catégories… …   Encyclopédie Universelle

  • Classe (Mathématiques) — Pour les articles homonymes, voir Classe. En mathématiques, la notion de classe généralise celle d ensemble. Les deux termes sont parfois employés comme synonymes, mais la théorie des ensembles distingue ces deux notions. Un ensemble peut être vu …   Wikipédia en Français

  • LOGIQUE INDIENNE — Les questions de raisonnement logique occupent une place aussi importante dans la philosophie indienne, d’un bout à l’autre de son histoire, que dans la tradition occidentale. Ce n’est que dans les années 1930 que la plupart des Occidentaux ont… …   Encyclopédie Universelle

  • Logique Combinatoire — Pour les articles homonymes, voir combinatoire (homonymie). Avertissement: Cet article traite de la logique combinatoire, au sens qu a ce mot en logique mathématique et en informatique théorique. Il ne doit pas être confondu avec ce que l on… …   Wikipédia en Français

  • Logique combinatoire (Electronique) — Logique combinatoire Pour les articles homonymes, voir combinatoire (homonymie). Avertissement: Cet article traite de la logique combinatoire, au sens qu a ce mot en logique mathématique et en informatique théorique. Il ne doit pas être confondu… …   Wikipédia en Français

  • Logique De Description — Les logiques de description aussi appelé logiques descriptives (LDs) sont une famille de langages de représentation de connaissance qui peuvent être utilisés pour représenter la connaissance terminologique d un domaine d application d une manière …   Wikipédia en Français

  • Logique descriptive — Logique de description Les logiques de description aussi appelé logiques descriptives (LDs) sont une famille de langages de représentation de connaissance qui peuvent être utilisés pour représenter la connaissance terminologique d un domaine d… …   Wikipédia en Français

  • Logique Du Dialogue — La logique du dialogue (aussi connue comme logique dialogique et comme sémantique des jeux) est une approche des sémantiques de la logique fondée sur le concept de validité (logique dialogique) ou de vérité (sémantique des jeux) appartenant aux… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”