Matematyka dla liceum/Logika/Prawa rachunku zdań: Różnice pomiędzy wersjami

Usunięta treść Dodana treść
m poprawa nawigacji
Piotr (dyskusja | edycje)
m lit.
Linia 58:
: <math> \neg (p \or \neg q) \implies (\neg p \and q) </math>.
 
Teraz tworzymy tabelę dla tego „logicznego gigantu”giganta” i sprawdzamy wszystkie możliwości.
 
<div align="center">