My Math Forum  

Go Back   My Math Forum > College Math Forum > Applied Math

Applied Math Applied Math Forum


Reply
 
LinkBack Thread Tools Display Modes
February 18th, 2012, 09:00 PM   #1
Newbie
 
Joined: Jan 2012
From: France

Posts: 22
Thanks: 0

Truth Table,validity...

Hi,

I need to show that

is a valid argument.

I used a truth table, and it worked, but i'm actually required to use an "informal proof" which means to use words, and to be precise.

Anyone would know how I could actually explain it?

Thank you,

Jonathan
john616 is offline  
 
February 19th, 2012, 08:06 AM   #2
Math Team
 
Joined: Dec 2006
From: Lexington, MA

Posts: 3,267
Thanks: 408

Re: Truth Table,validity...

Hello, john616!

Quote:
A \to B)\;\Longrightarrow\;\big[A \to (B\,\vee\,C)\big]\,\text{ is a valid argument.}" />

I used a truth table, and it worked, but i'm actually required to use an "informal proof"
[color=beige]. . [/color]which means to use words, and to be precise.

Anyone would know how I could actually explain it?





\sim\!A\,\vee\,B)\,\vee\,C \;\equiv\;\sim\!A\,\vee\,(B\,\vee\,C) \;\equiv\;A \to (B\,\vee\,C)" />

[color=beige]. . [/color]

soroban is offline  
February 19th, 2012, 12:33 PM   #3
Newbie
 
Joined: Jan 2012
From: France

Posts: 22
Thanks: 0

Re: Truth Table,validity...

john616 is offline  
Reply

  My Math Forum > College Math Forum > Applied Math

Tags
table, truth, validity



Thread Tools
Display Modes


Similar Threads
Thread Thread Starter Forum Replies Last Post
Making a truth table (logics) Janbaas Applied Math 1 March 18th, 2014 05:40 PM
Given truth table with 3 variables, find boolean expression unwisetome3 Applied Math 2 February 3rd, 2014 03:22 PM
The validity of an algorithm rapidrain Algebra 3 January 21st, 2013 08:56 PM
Truth Table problem Akhanoth Applied Math 5 October 29th, 2011 07:38 AM
Validity of a statement rune2402 Applied Math 2 December 18th, 2007 08:15 PM





Copyright © 2019 My Math Forum. All rights reserved.