Równości zdań

[kernelek]

Wiadomo, ze zdania \(\displaystyle{ p \Rightarrow q}\), \(\displaystyle{ \sim p \Rightarrow r}\)oraz \(\displaystyle{ r \Rightarrow (p \vee q)}\)sa prawdziwe.
Co mozna powiedziec o zdaniach \(\displaystyle{ p; q; r}\)?

Wiadomo, ze zdanie \(\displaystyle{ \sim p \wedge q}\) jest fałszywe. Co mozna powiedziec o
zdaniu \(\displaystyle{ (p \vee \sim q) \wedge (q \Rightarrow p) \wedge (q \Rightarrow ( \sim p \Rightarrow p))}\)?

Czy implikacja \(\displaystyle{ (q \Rightarrow p)}\) jest rónoważna z \(\displaystyle{ ( \sim q \vee p)}\)

[miodzio1988]

Kiedy implikacja jest prawdziwa? Korzystając z tej informacji proszę zobaczyć kiedy jednocześnie te trzy formuły są prawdziwe. ( mogą się one wykluczać czasami)-- 8 lipca 2010, 17:57 --trzecie:
\(\displaystyle{ (q \Rightarrow p) \Leftrightarrow ( \sim q \vee p)}\)
No nie wiesz czy jest to tautologia?