Indukcja, formuły zdaniowe

skolukmar · Post autor: **skolukmar** » 18 sty 2012, o 22:54

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

Zimnx · Post autor: **Zimnx** » 18 sty 2012, o 22:56

Zrob wzgledem ilosci spojnikow i rozwaz dwa proste przypadki.

skolukmar · Post autor: **skolukmar** » 18 sty 2012, o 23:08

Jakie byłyby tutaj przypadki ?

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