Spójniki zdań

Alternatywą zdań p i q, nazywamy zdanie p lub q, które oznaczamy symbolicznie p∨q.

Koniunkcją zdań p i q nazywamy zdanie p i q, które oznaczamy symbolicznie p∧q.

Implikacją o poprzedniku i następniku q, nazywamy zdanie, jeżeli p to q, które oznaczamy symbolicznie p⇒q.

Równoważnością nazywamy zdanie p wtedy i tylko wtedy, gdy q, które oznaczamy symbolicznie p⇔q.

Negacją zdania p nazywamy zdanie nieprawda, że p, które oznaczamy symbolicznie ~p.

Wyżej wymienione zdania mają następujące tabelki wartości logicznych:

p q ~p p∨q p∧q p⇒q p⇔q
1 1 0 1 1 1 1
1 0 0 1 0 0 0
0 1 1 1 0 1 0
0 0 1 0 0 1 1

Zobacz również:

Zobacz Komentarze ( 0 )

Dodając komentarz, oświadczasz, że akceptujesz regulamin forum*