Negacja (zaprzeczenie) zdania p - zdanie „nieprawda, że p” oznaczamy:
Zadanie nr 2
(( A B )C ) => ( A C )
A |
B |
C |
( A B ) |
(( A B )C ) |
( A C ) |
(( A B )C ) => ( A C ) |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
1 |
0 |
1 |
0 |
0 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
0 |
0 |
1 |
0 |
1 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
0 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
Pomocne informacje :)
Elementy logiki matematycznej
Zdaniem w matematyce nazywamy takie zdanie w sensie gramatycznym, o którym można jednoznacznie orzec, czy jest prawdziwe czy fałszywe. Wartość logiczną zdania prawdziwego oznaczamy przez 1, zdanie fałszywe ma wartość logiczną 0. Zdania na ogół oznaczamy literami: p, q, r,….
Funkcją zdaniową (formą zdaniową) nazywamy wyrażenie, które po wstawieniu w miejsce zawierające zmienną x dowolnego elementu należącego do dziedziny staje się zdaniem logicznym.
Negacja (zaprzeczenie) zdania p - zdanie „nieprawda, że p” oznaczamy:
p |
~ p |
1 0 |
0 1 |
Koniunkcja zdań p i q - zdanie „p i q” oznaczamy: pq
Alternatywa zdań p i q - zdanie „p lub q” oznaczamy pq
Implikacja (wynikanie) zdań p i q - zdanie „jeżeli p, to q” oznaczamy: p=>q
Równoważność zdań p i q - zdanie „p wtedy i tylko wtedy, gdy q” oznaczamy: p<=>q
PRAWA RACHUNKU ZDAŃ - TAUTOLOGIE
Zdanie logiczne nazywamy tautologia, jeśli jest zawsze prawdziwe, niezależnie od wartości logicznych zmiennych zdaniowych w nim występujących.