Matematyka.pl

Mam pokazać indykcyjnie że kazda formuła zdaniowa zbydowana ze zmiennych zdaniowych i spójników \(\displaystyle{ \vee \ \ \wedge}\) jest spełnialna.

Względem czego powinna być tutaj indukcja? Względem ilości zmiennych zdaniowych ?
Jak wyglądałby szkic dowodu ?

Prosiłbym o pomoc

Zrob wzgledem ilosci spojnikow i rozwaz dwa proste przypadki.

Jakie byłyby tutaj przypadki ?

przypadki są takie, ze formuła dokładana w kroku indukcyjnym jest albo nie jest spełnialna ?