Logical negation - Revision history

Jon Awbrey: update

2015-11-05T14:16:36Z

update

Jon Awbrey at 15:28, 16 May 2012

2012-05-16T15:28:26Z

Jon Awbrey: unlink

2012-05-16T13:09:51Z

unlink

Jon Awbrey: del 2 wikilinks

2012-05-16T02:34:00Z

del 2 wikilinks

Jon Awbrey: /* Peer nodes */ update

2012-05-16T02:32:33Z

Peer nodes: update

Jon Awbrey: update

2012-05-16T02:06:44Z

update

Jon Awbrey: Category:Charles Sanders Peirce

2011-11-02T01:04:50Z

Category:Charles Sanders Peirce

Jon Awbrey: /* Information, Inquiry */

2010-05-23T11:24:27Z

Information, Inquiry

Jon Awbrey: /* Syllabus */ update

2010-05-22T03:55:07Z

Syllabus: update

Jon Awbrey: /* Syllabus */ standardize

2010-05-16T03:18:24Z

Syllabus: standardize

@@ Line 49: / Line 49: @@
 ===Focal nodes===
 * [[Inquiry Live]]
 * [[Logic Live]]
 ===Peer nodes===
-{{col-begin}}
+* [http://intersci.ss.uci.edu/wiki/index.php/Logical_negation Logical Negation @ InterSciWiki]
 * [http://mywikibiz.com/Logical_negation Logical Negation @ MyWikiBiz]
 * [http://ref.subwiki.org/wiki/Logical_negation Logical Negation @ Subject Wikis]
 * [http://beta.wikiversity.org/wiki/Logical_negation Logical Negation @ Wikiversity Beta]
 ===Logical operators===
@@ Line 146: / Line 137: @@
 ===Related articles===
-* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Semiotic_Information Jon Awbrey, &ldquo;Semiotic Information&rdquo;]
+{{col-begin}}
+{{col-break}}
-* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Introduction_to_Inquiry_Driven_Systems Jon Awbrey, &ldquo;Introduction To Inquiry Driven Systems&rdquo;]
+* [http://intersci.ss.uci.edu/wiki/index.php/Cactus_Language Cactus Language]
+* [http://intersci.ss.uci.edu/wiki/index.php/Futures_Of_Logical_Graphs Futures Of Logical Graphs]
-* [http://mywikibiz.com/Directory:Jon_Awbrey/Essays/Prospects_For_Inquiry_Driven_Systems Jon Awbrey, &ldquo;Prospects For Inquiry Driven Systems&rdquo;]
+* [http://intersci.ss.uci.edu/wiki/index.php/Propositional_Equation_Reasoning_Systems Propositional Equation Reasoning Systems]
+{{col-break}}
-* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Inquiry_Driven_Systems Jon Awbrey, &ldquo;Inquiry Driven Systems : Inquiry Into Inquiry&rdquo;]
+* [http://intersci.ss.uci.edu/wiki/index.php/Differential_Logic_:_Introduction Differential Logic : Introduction]
+* [http://intersci.ss.uci.edu/wiki/index.php/Differential_Propositional_Calculus Differential Propositional Calculus]
-* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Propositional_Equation_Reasoning_Systems Jon Awbrey, &ldquo;Propositional Equation Reasoning Systems&rdquo;]
+* [http://intersci.ss.uci.edu/wiki/index.php/Differential_Logic_and_Dynamic_Systems_2.0 Differential Logic and Dynamic Systems]
+{{col-break}}
-* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Differential_Logic_:_Introduction Jon Awbrey, &ldquo;Differential Logic : Introduction&rdquo;]
+* [http://intersci.ss.uci.edu/wiki/index.php/Prospects_for_Inquiry_Driven_Systems Prospects for Inquiry Driven Systems]
+* [http://intersci.ss.uci.edu/wiki/index.php/Introduction_to_Inquiry_Driven_Systems Introduction to Inquiry Driven Systems]
-* [http://planetmath.org/encyclopedia/DifferentialPropositionalCalculus.html Jon Awbrey, &ldquo;Differential Propositional Calculus&rdquo;]
+* [http://intersci.ss.uci.edu/wiki/index.php/Inquiry_Driven_Systems Inquiry Driven Systems : Inquiry Into Inquiry]
+{{col-end}}
 ==Document history==
@@ Line 166: / Line 156: @@
 Portions of the above article were adapted from the following sources under the [[GNU Free Documentation License]], under other applicable licenses, or by permission of the copyright holders.
-{{col-begin}}
+* [http://intersci.ss.uci.edu/wiki/index.php/Logical_negation Logical Negation], [http://intersci.ss.uci.edu/ InterSciWiki]
 * [http://mywikibiz.com/Logical_negation Logical Negation], [http://mywikibiz.com/ MyWikiBiz]
 * [http://beta.wikiversity.org/wiki/Logical_negation Logical Negation], [http://beta.wikiversity.org/ Wikiversity Beta]
 * [http://en.wikipedia.org/w/index.php?title=Logical_negation&oldid=77111608 Logical Negation], [http://en.wikipedia.org/ Wikipedia]
 [[Category:Inquiry]]

@@ Line 176: / Line 176: @@
 * [http://en.wikipedia.org/w/index.php?title=Logical_negation&oldid=77111608 Logical Negation], [http://en.wikipedia.org/ Wikipedia]
 {{col-end}}
 [[Category:Inquiry]]

@@ Line 1: / Line 1: @@
 <font size="3">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]].
-'''Logical negation''' is an operation on one logical value, typically the value of a [[proposition]], that produces a value of ''true'' when its operand is false and a value of ''false'' when its operand is true.
+'''Logical negation''' is an operation on one logical value, typically the value of a proposition, that produces a value of ''true'' when its operand is false and a value of ''false'' when its operand is true.
 The [[truth table]] of <math>\operatorname{NOT}~ p,</math> also written <math>\lnot p,\!</math> appears below:

@@ Line 1: / Line 1: @@
 <font size="3">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]].
-'''Logical negation''' is an [[logical operation|operation]] on one [[logical value]], typically the value of a [[proposition]], that produces a value of ''true'' when its operand is false and a value of ''false'' when its operand is true.
+'''Logical negation''' is an operation on one logical value, typically the value of a [[proposition]], that produces a value of ''true'' when its operand is false and a value of ''false'' when its operand is true.
 The [[truth table]] of <math>\operatorname{NOT}~ p,</math> also written <math>\lnot p,\!</math> appears below:

@@ Line 61: / Line 61: @@
 {{col-break}}
 * [http://mywikibiz.com/Logical_negation Logical Negation @ MyWikiBiz]
-* [http://mathweb.org/wiki/Logical_negation Logical Negation @ MathWeb Wiki]
+* [http://intersci.ss.uci.edu/wiki/index.php/Logical_negation Logical Negation @ InterSciWiki]
-* [http://netknowledge.org/wiki/Logical_negation Logical Negation @ NetKnowledge]
+* [http://wiki.oercommons.org/mediawiki/index.php/Logical_negation Logical Negation @ OER Commons]
 {{col-break}}
 * [http://p2pfoundation.net/Logical_Negation Logical Negation @ P2P Foundation]
-* [http://semanticweb.org/wiki/Logical_negation Logical Negation @ SemanticWeb]
+* [http://ref.subwiki.org/wiki/Logical_negation Logical Negation @ Subject Wikis]
 {{col-end}}

@@ Line 3: / Line 3: @@
 '''Logical negation''' is an [[logical operation|operation]] on one [[logical value]], typically the value of a [[proposition]], that produces a value of ''true'' when its operand is false and a value of ''false'' when its operand is true.
-The [[truth table]] of '''NOT p''' (also written as '''~p''' or '''&not;p''') is as follows:
+The [[truth table]] of <math>\operatorname{NOT}~ p,</math> also written <math>\lnot p,\!</math> appears below:
 <br>
-{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:#f8f8ff; font-weight:bold; text-align:center; width:40%"
+{| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:45%"
-|+ '''Logical Negation'''
+|+ style="height:30px" | <math>\text{Logical Negation}\!</math>
-|- style="background:#e6e6ff"
+|- style="height:40px; background:#f0f0ff"
-! style="width:20%" | p
+| style="width:50%" | <math>p\!</math>
-! style="width:20%" | &not;p
+| style="width:50%" | <math>\lnot p\!</math>
 |-
-| F || T
+| <math>\operatorname{F}</math> || <math>\operatorname{T}</math>
 |-
-| T || F
+| <math>\operatorname{T}</math> || <math>\operatorname{F}</math>
 |}
 <br>
-The logical negation of a proposition '''p''' is notated in different ways in various contexts of discussion and fields of application.  Among these variants are the following:
+The negation of a proposition <math>p\!</math> may be found notated in various ways in various contexts of application, often merely for typographical convenience.  Among these variants are the following:
 <br>
-{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:#f8f8ff; width:40%"
+{| align="center" border="1" cellpadding="8" cellspacing="0" width="45%"
-|+ '''Variant Notations'''
+|+ style="height:30px" | <math>\text{Variant Notations}\!</math>
-|- style="background:#e6e6ff"
+|- style="height:40px; background:#f0f0ff"
-! style="text-align:center" | Notation
+| width="50%" align="center" | <math>\text{Notation}\!</math>
-! Vocalization
+| width="50%" | <math>\text{Vocalization}\!</math>
 |-
-| style="text-align:center" | <math>\bar{p}</math>
+| align="center" | <math>\bar{p}\!</math>
-| bar ''p''
+| <math>p\!</math> bar
 |-
-| style="text-align:center" | <math>p'\!</math>
+| align="center" | <math>\tilde{p}\!</math>
-| ''p'' prime,<p> ''p'' complement
+| <math>p\!</math> tilde
 |-
-| style="text-align:center" | <math>!p\!</math>
+| align="center" | <math>p'\!</math>
-| bang ''p''
+| <math>p\!</math> prime<br> <math>p\!</math> complement
 |}

@@ Line 179: / Line 179: @@
 [[Category:Open Educational Resource]]
 [[Category:Peer Educational Resource]]
 [[Category:Computer Science]]
 [[Category:Formal Languages]]

@@ Line 138: / Line 138: @@
 {{col-break}}
 * [[Pragmatic maxim]]
-* [[Pragmatic theory of truth]]
+* [[Truth theory]]
 {{col-end}}

@@ Line 43: / Line 43: @@
 ==Syllabus==
 ===Logical operators===
@@ Line 67: / Line 89: @@
 * [[Boolean function]]
 * [[Boolean-valued function]]
 {{col-break}}
 * [[Logical graph]]
 * [[Minimal negation operator]]
 * [[Peirce's law]]
 {{col-break}}
 * [[Propositional calculus]]
 * [[Truth table]]
 * [[Universe of discourse]]
 * [[Zeroth order logic]]
 {{col-end}}
 ==Document history==