Making a truth table (logics)

What is the basis for reason? And mathematics?

Moderators: AMod, iMod

Post Reply
Janbaas
Posts: 1
Joined: Mon Mar 17, 2014 4:37 pm

Making a truth table (logics)

Post by Janbaas »

Hello

I am trying to create a truth table with the following formulas:

∧(2,3,5,7)·(¬p∨¬q∨¬r)

and

∨(1,3,5,7)·(p∧q∧r)

Can anyone help me how to make these? Is there also a way to write these formulas in a simplified way?

Thanks for the help!
User avatar
Arising_uk
Posts: 12314
Joined: Wed Oct 17, 2007 2:31 am

Re: Making a truth table (logics)

Post by Arising_uk »

Why are you mixing numbers and variables?

What is this, ^(2,3,5,7), supposed to represent?

And this, ·(¬p∨¬q∨¬r)?
User avatar
The Voice of Time
Posts: 2234
Joined: Tue Feb 28, 2012 5:18 pm
Location: Norway

Re: Making a truth table (logics)

Post by The Voice of Time »

http://en.wikipedia.org/wiki/List_of_logic_symbols this might help.

Except of course there are three different interpretations for each symbol x)

The most notable meanings for up and down arrows are "AND" and "OR" respectively.

I'd prefer the computer science version of "&&" and "||" though.
User avatar
Arising_uk
Posts: 12314
Joined: Wed Oct 17, 2007 2:31 am

Re: Making a truth table (logics)

Post by Arising_uk »

Doesn't help at all as I understand the notation of symbolic logic and so far his 'logical propositions' make no syntactical sense.

If its mathematical logic then he should be able to explain what he's trying to say and if its propositional logic then why are the numbers in there?
Post Reply