Redaktsioon: 31. august 2009, kell 01:33 redigeeri VolkovBot (arutelu \| kaastöö) Robotid 79 169 muudatust P robot lisas: es:Conectivo Lógico ← Vanem muudatus		Redaktsioon: 1. september 2009, kell 14:35 redigeeri eemalda Lipedia (arutelu \| kaastöö) 4 muudatust P →‎Tehete järjekord 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;" 49. rida ⟶ 50. rida: \|<imagemap> Image:Logical connectives table.svg\|380px rect 399 2 542 39 [[:en:Truth table\|input A]] rect 399 2 542 39 rect 400 39 540 73 rect 400 128 542 706 rect 3 128 398 163 rect 3 162 398 199 rect 3 198 398 235 rect 4 234 399 273 rect 3 273 398 309 rect 2 308 397 344 rect 2 344 396 379 rect 2 379 397 415 rect 3 419 396 454 rect 3 453 395 489 rect 3 489 396 525 rect 3 525 396 560 rect 3 563 397 601 rect 2 600 395 636 rect 2 634 398 671 rect 3 670 397 706 desc none 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 326 28 416 200 rect 81 233 166 409 rect 260 231 349 409 rect 393 230 481 409 rect 574 232 663 408 rect 13 436 103 617 rect 147 438 235 617 rect 279 440 368 616 rect 375 440 464 617 rect 507 439 595 617 rect 639 438 732 617 rect 79 647 168 826 rect 260 647 349 826 rect 392 646 482 826 rect 574 646 663 826 rect 327 853 417 1035 desc none 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> \|-

Konnektor: erinevus redaktsioonide vahel