Mantıksal Bağlaçlar

Question

1) $``\rightarrow"$ bağlacı ile $``\Rightarrow"$ bağlacı arasında bir fark var mı? Varsa nedir?

2) $p$ ve $q$ iki önerme ise $p\veebar q$ nasıl tanımlanır? (Ya da bağlacı)

Comments

$$1\veebar 1\equiv 0, \,\,\ 1\veebar 0\equiv 1, \,\,\  0\veebar 1\equiv 1, \,\,\ 0\veebar 0\equiv 0$$

şeklinde tanımlanıyor. 

Ayrıca şunu da ilave edeyim. Kümelerdeki simetrik fark işlemi bu bağlaç yardımıyla

$$A\triangle B:=\{x|x\in A\veebar x\in B\}$$

şeklinde de tanımlanır.