Redaktsioon: 10. august 2009, kell 13:33 redigeeri Adeliine (arutelu \| kaastöö) Administraatorid 126 041 muudatust P kat ← Vanem muudatus		Redaktsioon: 28. august 2009, kell 14:32 redigeeri eemalda Lipedia (arutelu \| kaastöö) 4 muudatust Resümee puudub Uuem muudatus →
44. rida: Et vähendada vajadust kasutada [[sulud\|sulge]], on lauseloogikas kokku lepitud [[tehete järjekord]]: konnektor ¬ eelneb konnektorile <math>\wedge</math>, konnektor <math>\wedge</math> eelneb konnektorile <math>\vee</math>, konnektor <math>\vee</math> eelneb konnektorile → ning konnektor → eelneb konnektorile <math>\leftrightarrow</math>. Näiteks ''P'' <math>\vee</math> ''Q'' <math>\wedge</math> ¬''R'' → ''S'' tähendab (''P'' <math>\vee</math> (''Q'' <math>\wedge</math> (¬''R''))) → ''S''. {\| style="margin: 0 auto;" \|- \|<imagemap> Image:Logical connectives table.svg\|380px rect 399 2 542 39 [[en:Truth table\|input A]] rect 400 39 540 73 [[en:Truth table\|input B]] rect 400 128 542 706 [[en:Truth table\|output f(A,B)]] rect 3 128 398 163 [[en:Contradiction\|X and ¬X]] rect 3 162 398 199 [[en:Logical conjunction\|A and B]] rect 3 198 398 235 [[en:Converse nonimplication\|¬A and B]] rect 4 234 399 273 [[en:Proposition\|B]] rect 3 273 398 309 [[en:Material nonimplication\|A and ¬B]] rect 2 308 397 344 [[en:Proposition\|A]] rect 2 344 396 379 [[en:Exclusive or\|A xor B]] rect 2 379 397 415 [[en:Logical disjunction\|A or B]] rect 3 419 396 454 [[en:Logical NOR\|¬A and ¬B]] rect 3 453 395 489 [[en:Logical biconditional\|A xnor B]] rect 3 489 396 525 [[en:Negation\|¬A]] rect 3 525 396 560 [[en:Material implication\|¬A or B]] rect 3 563 397 601 [[en:Negation\|¬B]] rect 2 600 395 636 [[en:Converse implication\|A or ¬B]] rect 2 634 398 671 [[en:Sheffer stroke\|¬A or ¬B]] rect 3 670 397 706 [[en:Tautology_(logic)\|X or ¬X]] desc none </imagemap> \|width="50pt"\| \|<imagemap> Image:Logical connectives Hasse diagram.svg\|350px rect 326 28 416 200 [[en:Tautology_(logic)\|X or ¬X]] rect 81 233 166 409 [[en:Sheffer stroke\|¬A or ¬B]] rect 260 231 349 409 [[en:Converse implication\|A or ¬B]] rect 393 230 481 409 [[en:Material implication\|¬A or B]] rect 574 232 663 408 [[en:Logical disjunction\|A or B]] rect 13 436 103 617 [[en:Negation\|¬B]] rect 147 438 235 617 [[en:Negation\|¬A]] rect 279 440 368 616 [[en:Exclusive or\|A xor B]] rect 375 440 464 617 [[en:Logical biconditional\|A xnor B]] rect 507 439 595 617 [[en:Proposition\|A]] rect 639 438 732 617 [[en:Proposition\|B]] rect 79 647 168 826 [[en:Logical NOR\|¬A and ¬B]] rect 260 647 349 826 [[en:Material nonimplication\|A and ¬B]] rect 392 646 482 826 [[en:Converse nonimplication\|¬A and B]] rect 574 646 663 826 [[en:Logical conjunction\|A and B]] rect 327 853 417 1035 [[en:Contradiction\|X and ¬X]] desc none </imagemap> \|- \| align="left"\|<small>[[:File:Logical connectives table.svg\|<font color=#aaaaaa>(file)</font>]]</small> \|\| \|\| align="right"\| <small>[[:File:Logical connectives Hasse diagram.svg\|<font color=#aaaaaa>(file)</font>]] [http://commons.wikimedia.org/w/thumb.php?f=Logical%20connectives%20Hasse%20diagram.svg&width=1000px <font color=#aaaaaa>(zoom in)</font>]</small> \|} <br clear=all> [[Kategooria:Loogika]]

Konnektor: erinevus redaktsioonide vahel