Exponential type - Revision history

en>Yobot: WP:CHECKWIKI error fixes using AWB (10093)

2014-05-05T11:22:13Z

WP:CHECKWIKI error fixes using AWB (10093)

← Older revision		Revision as of 13:22, 5 May 2014
Line 1:		Line 1:
	~~In [[logic]], a '''logical constant'''~~ of ~~a [[formal language\|language]] <math>\mathcal{L}</math>~~ is ~~a [[symbol (formal)\|symbol]] that has~~ the ~~same [[Formal semantics (logic)\|semantic value]] under every [[interpretation (logic)\|interpretation]] of <math>\mathcal{L}</math>~~. ~~Two important types of logical constants are [[logical connective]]s~~ and ~~[[quantifier]]s~~. ~~The [[equality (mathematics)\|equality]] predicate (~~usually ~~written '=~~'~~) is also treated~~ as a ~~logical constant in many [[formal system\|systems of logic]]~~.		The title of the author is Figures but it's not the most masucline title out there. The favorite pastime for my kids and me is to play baseball but I haven't made a dime with it. Minnesota has usually been his house but his spouse wants them to move. For years I've been operating as a payroll clerk.<br><br>Feel free to visit my homepage - [http://wmazowiecku.pl/stay-yeast-infection-free-using-these-helpful-suggestions/ wmazowiecku.pl]

	~~Some symbols that are commonly treated as logical constants are:~~

	~~<table border=1 class="wikitable">~~
	<tr>
	<th>~~Symbol</th>~~
	~~<th>Meaning in English</th>~~
	~~</tr>~~
	~~<tr>~~
	~~<td>T</td>~~
	~~<td>"true"</td>~~
	~~</tr>~~
	~~<tr>~~
	~~<td>F</td>~~
	~~<td>"false"</td>~~
	~~</tr>~~
	~~<tr>~~
	~~<td>¬</td>~~
	~~<td>"not"</td>~~
	~~</tr>~~
	~~<tr>~~
	~~<td>∧</td>~~
	~~<td>"and"</td>~~
	~~</tr>~~
	~~<tr>~~
	~~<td>∨</td>~~
	~~<td>"or"</td>~~
	~~</tr>~~
	~~<tr>~~
	~~<td>→</td>~~
	~~<td>"implies", "if...then"</td>~~
	~~</tr>~~
	~~<tr>~~
	~~<td>∀</td>~~
	~~<td>"for all"</td>~~
	~~</tr>~~
	~~<tr>~~
	~~<td>∃</td>~~
	~~<td>"there exists", "for some"</td>~~
	~~</tr>~~
	~~<tr>~~
	~~<td>=</td>~~
	~~<td>"equals"</td>~~
	~~</tr>~~
	~~<tr>~~
	~~<td><math>\Box</math></td>~~
	~~<td>"necessarily"</td>~~
	~~</tr>~~
	~~<tr>~~
	~~<td><math>\Diamond</math></td>~~
	~~<td>"possibly"</td>~~
	~~</tr>~~

	~~</table>~~

	~~For many logical constants also other symbols are commonly used~~ to ~~denote them, such as the symbol "&" for [[logical and]].~~

	One of the fundamental questions in the [[philosophy of logic]] is "What is a logical constant?"; that is, what special feature of certain constants makes them ''logical'' in nature?<ref>Carnap</ref>{{full\|date=November 2012}}

	~~==See also==~~
	*[[Non-~~logical symbol]]~~
	*[[Logical value]]
	*[[Logical connective]]

	~~==References==~~
	~~{{reflist}}~~

	~~== External links ==~~
	*[http://~~plato.stanford~~.~~edu~~/~~entries/logical~~-~~constants~~/ ~~Stanford Encyclopedia of Philosophy entry on logical constants~~]

	~~[[Category:Philosophical logic]]~~
	~~[[Category:Concepts in logic]]~~
	~~[[Category:Syntax (logic)]]~~
	~~[[Category:Logical truth]]~~
	~~[[Category:Logic symbols]]~~

	~~{{logic-stub}}~~
	~~{{philosophy-stub}}~~

173.25.54.191: sp

2013-07-10T04:10:40Z

← Older revision		Revision as of 06:10, 10 July 2013
Line 1:		Line 1:
	~~Marvella~~ is ~~what you can call her but it's not~~ the ~~most feminine name out there~~. ~~For many years he'~~s [~~http~~://~~Indianrajneet.com~~/~~groups~~/~~best-strategies-for-keeping-candida-albicans-from-increasing~~/ ~~at home std testing] been operating as a meter~~ ~~[http:~~//~~kpchurch.org~~/~~?document_srl=1359143 kpchurch.org] reader~~ and ~~it's something he truly appreciate. One of the very very best~~ ~~over the counter std test issues in the globe for me is to do~~ ~~at home [http:~~//~~Www~~.~~health~~.~~com~~/~~health~~/~~condition-article~~/0,~~,20188476,00.html std test] aerobics and now I'm trying to make cash with it. Her spouse and her reside in~~ ~~home [http:~~//~~www.fpa.org.uk~~/~~sexually-transmitted-infections-stis-help~~/~~genital-warts std test~~] ~~kit Puerto Rico but she will have to move one working day or an additional~~.<br><br>~~My homepage ...~~ [http://~~www~~.~~shipzula~~.~~com~~/~~blogs~~/~~post~~/~~16377 at home std test~~]		In [[logic]], a '''logical constant''' of a [[formal language\|language]] <math>\mathcal{L}</math> is a [[symbol (formal)\|symbol]] that has the same [[Formal semantics (logic)\|semantic value]] under every [[interpretation (logic)\|interpretation]] of <math>\mathcal{L}</math>. Two important types of logical constants are [[logical connective]]s and [[quantifier]]s. The [[equality (mathematics)\|equality]] predicate (usually written '=') is also treated as a logical constant in many [[formal system\|systems of logic]].

			Some symbols that are commonly treated as logical constants are:

			<table border=1 class="wikitable">
			<tr>
			<th>Symbol</th>
			<th>Meaning in English</th>
			</tr>
			<tr>
			<td>T</td>
			<td>"true"</td>
			</tr>
			<tr>
			<td>F</td>
			<td>"false"</td>
			</tr>
			<tr>
			<td>¬</td>
			<td>"not"</td>
			</tr>
			<tr>
			<td>∧</td>
			<td>"and"</td>
			</tr>
			<tr>
			<td>∨</td>
			<td>"or"</td>
			</tr>
			<tr>
			<td>→</td>
			<td>"implies", "if...then"</td>
			</tr>
			<tr>
			<td>∀</td>
			<td>"for all"</td>
			</tr>
			<tr>
			<td>∃</td>
			<td>"there exists", "for some"</td>
			</tr>
			<tr>
			<td>=</td>
			<td>"equals"</td>
			</tr>
			<tr>
			<td><math>\Box</math></td>
			<td>"necessarily"</td>
			</tr>
			<tr>
			<td><math>\Diamond</math></td>
			<td>"possibly"</td>
			</tr>

			</table>

			For many logical constants also other symbols are commonly used to denote them, such as the symbol "&" for [[logical and]].

			One of the fundamental questions in the [[philosophy of logic]] is "What is a logical constant?"; that is, what special feature of certain constants makes them ''logical'' in nature?<ref>Carnap</ref>{{full\|date=November 2012}}

			==See also==
			*[[Non-logical symbol]]
			*[[Logical value]]
			*[[Logical connective]]

			==References==
			{{reflist}}

			== External links ==
			*[http://plato.stanford.edu/entries/logical-constants/ Stanford Encyclopedia of Philosophy entry on logical constants]

			[[Category:Philosophical logic]]
			[[Category:Concepts in logic]]
			[[Category:Syntax (logic)]]
			[[Category:Logical truth]]
			[[Category:Logic symbols]]

			{{logic-stub}}
			{{philosophy-stub}}

en>Linas: typo

2012-08-26T19:28:04Z

typo

New page

Marvella is what you can call her but it's not the most feminine name out there. For many years he's [http://Indianrajneet.com/groups/best-strategies-for-keeping-candida-albicans-from-increasing/ at home std testing] been operating as a meter [http://kpchurch.org/?document_srl=1359143 kpchurch.org] reader and it's something he truly appreciate. One of the very very best over the counter std test issues in the globe for me is to do at home [http://Www.health.com/health/condition-article/0,,20188476,00.html std test] aerobics and now I'm trying to make cash with it. Her spouse and her reside in home [http://www.fpa.org.uk/sexually-transmitted-infections-stis-help/genital-warts std test] kit Puerto Rico but she will have to move one working day or an additional.<br><br>My homepage ... [http://www.shipzula.com/blogs/post/16377 at home std test]