Koniunkcja

Koniunkcja jest jednym z podstawowych operatorów logicznych. Operuje ona na dwóch zdaniach logicznych.

Koniunkcja jest oznaczana symbolem  \wedge , czytanym jako „i”.

 

Tabelka wartości logicznej koniunkcji

 

Koniunkcja jest prawdziwa tylko wtedy, kiedy oba zdania logiczne są prawdziwe.

 

Jeśli zdanie p ma wartość logiczną 1, zdanie  q ma wartość logiczną 1, zdanie  p  \wedge  q ma wartość logiczną 1.

W każdym innym przypadku zdanie  p  \wedge  q ma wartość logiczną 0.

 

Przykład:

Niech dane będą dwa zdania: 

p: Dziś jest wtorek. Wartość logiczna 1.

q: Wczoraj padał deszcz. Wartość logiczna 0.

 p  \wedge  q: Dziś jest wtorek i wczoraj padał deszcz. Wartość logiczna 0.

Ale jeśli weźmiemy zdanie będące zaprzeczeniem zdania q, tj. zdanie  \neg q: Nie prawda, że wczoraj padał deszcz, to zdanie  p  \wedge   \neg q: Dziś jest wtorek i nie prawda, że wczoraj padał deszcz - będzie mieć wartość logiczną 1.

Polecamy również:

  • Negacja

    Negacja jest podstawowym operatorem logicznym. Przekształca ona każde zdanie na zdanie o przeciwnej wartości logicznej. Inaczej nazywana jest zaprzeczeniem. Więcej »

  • Alternatywa

    Alternatywa jest jednym z podstawowych operatorów logicznych. Podobnie jak koniunkcja, operuje ona na dwóch zdaniach logicznych.  Więcej »

  • Implikacja

    Implikacja jest operatorem logicznym dotyczącym dwóch zdań logicznych, z których pierwsze nazywane jest poprzednikiem, drugie - następnikiem. Utożsamiana jest z wnioskowaniem.   Więcej »

  • Równoważność

    Równoważność jest operatorem logicznym powiązanym z implikacją. Łączy ona dwa zdania logiczne i jest prawdziwa tylko wtedy, kiedy oba te zdania mają taką samą wartość logiczną (a zatem, w sensie logiki, są sobie równoważne). Więcej »

Komentarze (0)
Wynik działania 2 + 4 =
Ostatnio komentowane
lol
• 2023-09-24 15:47:42
Muszę na poniedziałek napisać coś o "portret z pelargoniami" ale niestety tu nie znala...
• 2023-09-24 10:07:26
chyba ta
• 2023-09-21 19:21:13
dsasdsadasssssssss
• 2023-09-21 18:28:08
????
• 2023-09-20 13:10:13