Strona 1 z 1

Tautologia

: 8 paź 2007, o 08:44
autor: Przemkooo
Rozważmy wyrażenie postaci :
\(\displaystyle{ (...((p p) p ) p)...) p}\).

Dla jakich \(\displaystyle{ n}\) wyrażenie to jest tautologią? Udowodnij.
\(\displaystyle{ n}\) - liczba znaczków implikacji.

Tautologia

: 8 paź 2007, o 08:50
autor: scyth
Zauważ, że zawsze \(\displaystyle{ p p}\), zatem jest to tautologia dla dowolnego \(\displaystyle{ n \mathbb{N}}\).

Tautologia

: 8 paź 2007, o 21:11
autor: Lorek
scyth, \(\displaystyle{ (p\Rightarrow p)\Rightarrow p, \; p=0}\) ?

Tautologia

: 8 paź 2007, o 22:35
autor: scyth
No więc dzieki czujności Lorka widać, że jest to tautologia dla n nieparzystych