proposional logic
closed

Vicky rix asked Mar 2, 2017 • closed May 12, 2021 by Shiva Sagar Rao

196 views

See all

Related questions

0 votes

1 answer

ykrishnay asked Mar 19, 2022

1,154 views

kenneth h rosen chapter 1 excercise 1.4 predicates ad quantifiers question 59 symbolic logic
Let P (x), Q(x), and R(x) be the statements x is a professor, x is ignorant, and x is vain, respectively. Express each of these statements using quantifiers; logical connectives; and P (x), Q(x), and ... c) follow from (a) and (b) what is the soution of d) cause i did not understand what the d) says?

Let P (x), Q(x), and R(x) be the statements“x is a professor,” “x is ignorant,” and “x is vain,” respectively.Express each of these statements using quantifie...

ykrishnay

1.2k views

ykrishnay asked Mar 19, 2022

0 votes

3 answers

learner_geek asked Jan 22, 2019

1,055 views

propositional logic
which of the following is tautology? (¬P^(P->q))->¬q ¬(p->q)->¬q [(¬p^q)^[q->(p->q)]]->¬r Both (B) and(C) please explain in detail how to check for especially for condition (C) Because “r” is only in RHS but not in LHS of this implication.

which of the following is tautology?(¬P^(P->q))->¬q¬(p->q)->¬q[(¬p^q)^[q->(p->q)]]->¬rBoth (B) and(C)please explain in detail how to check for especially for condit...

learner_geek

1.1k views

learner_geek asked Jan 22, 2019

2 votes

2 answers

kd..... asked Jul 12, 2018

542 views

Propositional logic
I am unable to prove following equations without using truth table 1) p -> (q v r) = (p->q) V (p->r) 2) ~(p <-> q) = p <-> ~q

I am unable to prove following equations without using truth table1) p - (q v r) = (p->q) V (p->r) 2) ~(p <- q) = p <- ~q

kd.....

542 views

kd..... asked Jul 12, 2018

1 votes

1 answer

Salazar asked Jan 26, 2018

762 views

Propositional Logic
Not Valid does it mean not False ? also how to solve it ?

Not Valid does it mean not False ? also how to solve it ?

Salazar

762 views

Salazar asked Jan 26, 2018

tags	tag:apple
author	user:martin
title	title:apple
content	content:apple
exclude	-tag:apple
force match	+apple
views	views:100
score	score:10
answers	answers:2
is accepted	isaccepted:true
is closed	isclosed:true

proposional logic
closed

Please log in or register to add a comment.

0 Answers

Related questions

0 reply

Please log in or register to add a comment.

0 Answers

Related questions

0