" (i) "p rarr(sim p vv q)

p rArr p vv q is

The negation of p rarr (~ p vv q) is

Given the following two statements S_(1) : (p ^^ : p) rarr (p ^^ q) is a tautology. S_(2) : (p vv : p) rarr (p vv q) is a fallacy

Given the following two statements S_(1) : (p ^^ : p) rarr (p ^^ q) is a tautology. S_(2) : (p vv : p) rarr (p vv q) is a fallacy

Construct truth tables for the following and indicate which of these are tautologies [p rarr ( p vv q)] rarr [q rarr (p ^^ q)]

The statement which is not a tautology is (p harr q)[(p rarr q)^^(q rarr q)] b.(p rarr q)vv(sim p rarr q) c.(p^^q)rarr(p vv q)d(p^^q)vv[(p vv q)rarr-q]

The proposition S : (p rArr q) iff (~p vv q) is a

Construct truth tables for the following and indicate which of these are tautologies (~~p vv p) rarr ( ~~q vv q)

If the compound statement p rarr(-p vv q) is false then the truth value of p rarr(-p vv q) is respectively- (a) T,T(b)T,F(c)F,T(d)E,F