Negation

Results: 484



#Item
471Indigenous languages of the Americas / Languages of North America / Question / Yes and no / Negation / Auxiliary verb / Cayuga people / First Nations / Languages of the United States / Cayuga language

PDF Document

Add to Reading List

Source URL: www.mun.ca

Language: English - Date: 2007-06-08 12:58:38
472Propositional calculus / Non-classical logic / Proof theory / Intuitionism / Intuitionistic logic / Natural deduction / Negation / First-order logic / Law of excluded middle / Logic / Mathematical logic / Mathematical constructivism

PDF Document

Add to Reading List

Source URL: www.phil.uu.nl

Language: English - Date: 2008-04-15 09:47:15
473Thue / Sequence / Negation / Combinatorics / Escott / Koch snowflake / Prouhet–Thue–Morse constant / Mathematics / Parity / Thue–Morse sequence

PDF Document

Add to Reading List

Source URL: www.palacios-huerta.com

Language: English - Date: 2012-03-08 17:54:57
474Logical connectives / Binary operations / Inference / Contraposition / Conditional statement / Converse / If and only if / Negation / Logical equivalence / Logic / Propositional calculus / Mathematics

PDF Document

Add to Reading List

Source URL: www.math.niu.edu

Language: English - Date: 2004-02-27 12:43:15
475Artificial intelligence / Stable model semantics / Negation as failure / Prolog / Answer set programming / Negation / Inference / Natural deduction / Admissible rule / Logic programming / Logic / Software engineering

PDF Document

Add to Reading List

Source URL: www.depts.ttu.edu

Language: English - Date: 2011-09-19 10:31:27
476Propositional calculus / Philosophical logic / Natural deduction / If and only if / Entailment / Universal quantification / Modus ponens / Negation / Modal logic / Logic / Mathematical logic / Deduction

PDF Document

Add to Reading List

Source URL: www.danielclemente.com

Language: English - Date: 2005-05-17 18:34:22
477Mathematical logic / Boolean algebra / Linguistics / Semantics / Model theory / Stable model semantics / Propositional formula / Literal / Negation / Logic / Propositional calculus / Logic programming

PDF Document

Add to Reading List

Source URL: www.d.umn.edu

Language: English - Date: 2007-07-18 12:02:08
478Logic programming / Propositional calculus / Boolean algebra / Rules of inference / Stable model semantics / Answer set programming / Resolution / Atomic formula / Negation / Logic / Mathematical logic / Mathematics

PDF Document

Add to Reading List

Source URL: www.cs.ust.hk

Language: English - Date: 2004-12-10 03:34:14
479Philosophical logic / Philosophy of mathematics / Rules of inference / Law of excluded middle / Law of noncontradiction / Principia Mathematica / Term logic / Many-valued logic / Double negation / Logic / Philosophy / Mathematical logic

PDF Document

Add to Reading List

Source URL: www2.swgc.mun.ca

Language: English - Date: 2008-12-22 16:52:06
480Boolean algebra / Semantics / Logical connectives / Tautology / Natural deduction / Modal logic / Negation / Well-formed formula / Truth function / Logic / Mathematical logic / Propositional calculus

PDF Document

Add to Reading List

Source URL: people.umass.edu

Language: English - Date: 2009-09-09 16:21:38
UPDATE