11 lines
		
	
	
	
		
			156 B
		
	
	
	
		
			Markdown
		
	
	
	
	
	
			
		
		
	
	
			11 lines
		
	
	
	
		
			156 B
		
	
	
	
		
			Markdown
		
	
	
	
	
	
---
 | 
						|
categories:
 | 
						|
  - Logic 
 | 
						|
tags: [propositional-logic]
 | 
						|
---
 | 
						|
 | 
						|
 | 
						|
 > A proposition cannot be true and false at the same time. 
 | 
						|
 > $$
 | 
						|
 > \\sim (P & \sim P)
 | 
						|
 > $$
 |