
Math General Math Forum  For general math related discussion and news 
 LinkBack  Thread Tools  Display Modes 
June 30th, 2016, 06:31 PM  #1 
Newbie Joined: Jun 2016 From: USA Posts: 1 Thanks: 0  Can a simple (atomic) proposition be a tautology? Definition: "A tautology is a propositional formula that is true under any truth assignment to each of the atomic propositions in the domain of propositional function." Let $\displaystyle p$ be a simple (or atomic) proposition (e.g. "9 is a square root of 81"). I understand that a proposition may be either true or false (but not both true and false at the same time). That is, $\displaystyle p$ may be either true or false, exclusively. Under all possible truth assignments, $\displaystyle p$ is not always true. Therefore, from the definition of tautology, $\displaystyle p$ is not a tautology. However, suppose I proved p to be true. I am tempted to write $\displaystyle p \iff \top$, but this means "$\displaystyle p$ is a tautology". However, the previous paragraph's conclusions was that "$\displaystyle p$ is not a tautology". What's going on here? Using the notation in symbolic logic, how does one write that $\displaystyle p$ is indeed true? Thanks in advance for your help. 

Tags 
atomic, proposition, simple, tautology, truth value 
Thread Tools  
Display Modes  

Similar Threads  
Thread  Thread Starter  Forum  Replies  Last Post 
atomic bomb  raul21  Physics  20  August 20th, 2014 02:29 AM 
Dalton's Atomic Theory  micle  Physics  1  June 26th, 2013 10:15 AM 
Tautology (requiring proof)  shaunmira  Applied Math  0  August 29th, 2012 06:06 PM 
Basic logic confusion, Tautology.  maxgeo  Applied Math  7  March 20th, 2012 12:20 PM 
tautology  rune2402  Applied Math  3  October 20th, 2007 08:12 PM 