fizyka wzory prawa zadania teoria, chemia teoria zadania wzory, modelarstwo szkutnicze

Elementy logiki- prawa i wzory

Zdanie logiczne

Zdanie logiczne nazywamy każde zdanie oznajmiające, które jest jednoznacznie prawdziwe albo fałszywe. Zdanie prawdziwe ma wartość logiczną 1, a zdanie fałszywe ma wartość logiczną 0. Zdania logiczne przyjęto oznaczać symbolami: p, q, r,…

Zaprzeczenie (negacja) zdania p

Zdanie 'nieprawda, że p' oznaczamy symbolicznie ~p
negacja zdania

Koniunkcja zdań p i q

- zdanie 'p i q' oznaczamy symbolicznie
koniunkcja zdań

Alternatywa zdań p i q

- zdanie 'p lub q' oznaczamy symbolicznie
alternatywa zdań

Tabela: koniunkcja i alternatywa zdań p i q

koniunkcja i alternatywa zdań

Implikacja (wynikanie) zdań p i q

- zdanie 'jeżeli p, to q' oznaczamy symbolicznie
implikacja

Równoważność zdań p i q

- zdanie 'p wtedy i tylko wtedy, gdy q', oznaczamy symbolicznie
równoważność zdań

Tabela: Implikacja i równowazośc zdań p i q

tabela Implikacja i równowazośc zdań

Prawo przemienności koniunkcji

prawo przemienności koniunkcji

Prawo przemienności alternatywy

prawo przemienności alternatywy

Prawo łączności koniunkcji

prawo łączności koniunkcji

Prawo łączności alternatywy

prawo łączności alternatywy

Prawo rozdzielności koniunkcji względem alternatywy

prawo rozdzielności koniunkcji względem alternatywy

Prawo rozdzielności alternatywy względem koniunkcji

prawo rozdzielności alternatywy względem koniunkcji

Prawo przechodności implikacji

prawo przechodności implikacji

Prawo podwójnego przeczenia

prawo podwójnego przeczenia

Prawo odrywania

prawo odrywania

Prawo zaprzeczenia implikacji

prawo zaprzeczenia implikacji

Prawo kontrapozycji

prawo kontrapozycji

Prawa De Morgana

prawa De Morgana