Sentential Logic - Revision history

Khanh at 20:16, 6 November 2021

2021-11-06T20:16:11Z

Lila: /* Logic Exercise 2 */

2021-10-12T14:24:04Z

Logic Exercise 2

Lila: /* Propositional Functions */

2021-10-12T14:23:34Z

Propositional Functions

Lila: /* Logic Exercise 1 */

2021-10-12T14:23:10Z

Logic Exercise 1

Lila: /* Logic Exercise 3 */

2021-09-27T21:17:02Z

Logic Exercise 3

Lila at 21:16, 27 September 2021

2021-09-27T21:16:01Z

Show changes

Lila: /* Resources */

2021-09-21T22:17:21Z

Resources

Lila: Created page with "==Resources== * [https://link-springer-com.libweb.lib.utsa.edu/book/10.1007%2F978-1-4419-7127-2 Course Textbook], pages 15-45 * [http://discrete.openmathbooks.org/dmoi2/sec_pr..."

2021-09-21T22:17:08Z

Created page with "==Resources== * [https://link-springer-com.libweb.lib.utsa.edu/book/10.1007%2F978-1-4419-7127-2 Course Textbook], pages 15-45 * [http://discrete.openmathbooks.org/dmoi2/sec_pr..."

New page

==Resources==
* [https://link-springer-com.libweb.lib.utsa.edu/book/10.1007%2F978-1-4419-7127-2 Course Textbook], pages 15-45
* [http://discrete.openmathbooks.org/dmoi2/sec_propositional.html Propositional Logic], Discrete Mathematics: An Open Introduction by Oscar Levin
* [https://www.cs.sfu.ca/~ggbaker/zju/math/logic.html Propositional Logic], Simon Fraser University
* See [[Statements|statements]] for more on statements and how to use connectives to form logical statements.

← Older revision		Revision as of 20:16, 6 November 2021
Line 1,054:		Line 1,054:

	See [[Statements\|statements]] for more on statements and how to use connectives to form logical statements.		See [[Statements\|statements]] for more on statements and how to use connectives to form logical statements.
		+
		+	== Licensing ==
		+	Content obtained and/or adapted from:
		+	* [https://en.wikibooks.org/wiki/Discrete_Mathematics/Logic Logic, Wikibooks: Discrete Mathematics] under a CC BY-SA license

← Older revision		Revision as of 14:24, 12 October 2021
Line 612:		Line 612:

	In addition, any statement which is redundant, or idempotent, is also referred to as a tautology, and for the same reason previously mentioned. If '''P''' is True then we can be sure that '''P &or; P''' is true, and '''P &and; P''' is also true.		In addition, any statement which is redundant, or idempotent, is also referred to as a tautology, and for the same reason previously mentioned. If '''P''' is True then we can be sure that '''P &or; P''' is true, and '''P &and; P''' is also true.
−
−	~~== Logic Exercise 2 ==~~
−
−	~~Click link for [[/Exercises#Logic Exercise 2\|Logic Exercise 2]].~~

	== Order of Precedence ==		== Order of Precedence ==

← Older revision		Revision as of 14:23, 12 October 2021
Line 50:		Line 50:

	In (f) above, we have an example of a '''''Propositional Function'''''. This is a function that produces as output not a number like sine, cosine or ''RectangleArea'', but a ''truth value''. It's a statement, then, that becomes a proposition when it is supplied with one or more parameter values. In (f), the parameters are ''x'' and ''y''. So if ''x'' = 2 and ''y'' = 7, its output is ''False''; if ''x'' = 4 and ''y'' = -10, its output is ''True''.		In (f) above, we have an example of a '''''Propositional Function'''''. This is a function that produces as output not a number like sine, cosine or ''RectangleArea'', but a ''truth value''. It's a statement, then, that becomes a proposition when it is supplied with one or more parameter values. In (f), the parameters are ''x'' and ''y''. So if ''x'' = 2 and ''y'' = 7, its output is ''False''; if ''x'' = 4 and ''y'' = -10, its output is ''True''.
−
−
−	~~More about [[/Page_2#Propositional_Functions\|propositional functions]] later.~~

	=== Notation ===		=== Notation ===

← Older revision		Revision as of 14:23, 12 October 2021
Line 169:		Line 169:

	Notice that it's often convenient to translate ¬ using the phrase 'It is not true that …'.		Notice that it's often convenient to translate ¬ using the phrase 'It is not true that …'.
−
−	~~== Logic Exercise 1 ==~~
−
−	~~Click link for [[/Exercises#Logic Exercise 1\|Logic Exercise 1]].~~

	== Truth Tables ==		== Truth Tables ==

@@ Line 1,058: / Line 1,058: @@
 |}
 <br clear="all">
 ==Resources==

@@ Line 3: / Line 3: @@
 * [http://discrete.openmathbooks.org/dmoi2/sec_propositional.html Propositional Logic], Discrete Mathematics: An Open Introduction by Oscar Levin
 * [https://www.cs.sfu.ca/~ggbaker/zju/math/logic.html Propositional Logic], Simon Fraser University
-* See [[Statements|statements]] for more on statements and how to use connectives to form logical statements.