Teória matematická logika (Výroková logika, Predikátová logika)

TEÓRIA
Výroková logika
1. Definujte vytvárajúcu postupnost formuly výrokovej logiky. Napíšte vytvárajúcu postupnost formuly
: (p ^ :q ) r) , p _ :p:

2. Definujte vytvárajúcu postupnost formuly výrokovej logiky. Zistite, ci nasledujúce postupnosti predstavujú vytvárajúce postupnosti formúl výrokovej logiky
...

Predikátová logika
1. (6 b) Definujte abecedu jazyka predikátovej logiky, rozdeľte symboly na logické a špeciálne.
2. (5 b) Definujte viazaný a volný výskyt premennej, uzavretú a otvorenú formulu predikátovej logiky. Napíšte príklady troch formúl s aspon tromi premennými...