logic

18

Logic By David And Garry Do Now: Pay attention to what we are about to say and don’t interrupt until we are finished explaining.

Upload: zanna

Post on 06-Jan-2016

31 views

Category:

Documents

0 download

Report

Download

Embed Size (px):

DESCRIPTION

Logic. By David And Garry Do Now: Pay attention to what we are about to say and don’t interrupt until we are finished explaining. The  conjunction and  disjunction Signs. A conjunction is true only when both premises are true. A disjunction is true when at least one premise is true. - PowerPoint PPT Presentation

TRANSCRIPT

LogicBy David And Garry

Do Now: Pay attention to what we are about to say and don’t interrupt until we are finished explaining.

The conjunction and disjunction Signs

P Q P Q P Q

T T

T F

F T

F F

• A conjunction is true only when both premises are true.

• A disjunction is true when at least one premise is true.

The ~negation Sign

P Q ˜p ˜q

T t

T F

F T

f F

• The negation of P is the opposite of P and the negation of Q is the opposite of Q.

P Q ˜p ˜q P Q ˜(P Q)

T T

T F

F T

F F

P Q ~P ~Q ~P v Q

~P Q

~Q P

~Q v P

T T

T F

F T

F F

The →conditional Symbol

P Q P→Q

T T

T F

F T

F F

• A conditional is false only when P is true and Q is false. In all other cases, its true.

P Q P→Q ~(P→Q)

T T

T F

F T

F F

P Q ~P ~Q ~P→Q ~Q→P

T T

T F

F T

F F

The ↔biconditional Symbol

P Q P↔Q

T T

T F

F T

F F

• The biconditional symbol is only true when both P and Q are the same.

Hw [=

1. (P -> Q) <-> (~P v Q)2. (~P v Q) -> (P v Q)3. (~Q v P) -> (Q ~P)4. ( Q -> P) <-> ( P -> Q)5. (~Q -> ~P) <-> ( ~P -> ~Q)

Today’s Topics Digital Logic Design Digital Logic Design Boolean Logic Boolean Logic Digital Logic Circuits Digital Logic Circuits

4. Computer Maths and Logic 4.2 Boolean Logic 4.2.4 Logic Circuits

Fixpoint Logic vs. Infinitary Logic in Finite-Model Theoryvardi/papers/lics92rj.pdf · 2015-01-14 · Fixpoint Logic vs. Infinitary Logic ... fixpoint logic, and first-order logic

Logic, logic Fuzzy and Quantum

1.3.3 Logic gates & Logic circuits

Logic and Digital Logic CPUs

Modern Logic - Introduction to Logic

Techniques for Solving Logic Puzzles. Logic Puzzles Logic puzzles operate using deductive logic. Logic puzzles operate using deductive logic. A well-designed

Modal Logic, Epistemic Logic

AN INTRODUCTION TO LOGIC - The Best Schools to Logic 1 AN INTRODUCTION TO LOGIC By: ... Mathematical Logic, ... Introduction to Logic 3 GENERAL INTRODUCTION

CT455: Computer Organization Logic gate. Lecture 4: Logic Gates and Circuits Logic Gates Logic Gates Logic Gates Logic Gates The Inverter The Inverter

Formal Logic AKA Symbolic Logic

Logic Agents and Propositional Logic

Agro Logic · Agro Logic

INFORMAL LOGIC AND LOGIC

Logic Design Sequential Logic (Chapter 3)bhagiweb/cs2461/lectures/logic4.pdf · Logic Design Sequential Logic (Chapter 3) So Far: Combinational Logic Combinational Logic: • Always

Prop Logic 2-Logic

Basic Logic Circuits Complete Logic Family Other Logic Styles

Logic and Philosophy Alan Hausman PART ONE Sentential Logic Sentential Logic

Prop Logic 1-Logic

Propositional Logic and Pridicate logic

Logic, Logic, Logic · Logic, Logic, Logic: Thinking about Thinking. Interesting Quotes on Logic: “Logic is the technique by which we add conviction to truth.” ~ Jean de la Bruyere

Gates and Logic: From Transistorsto Logic Gates and Logic ... · PDF fileGates and Logic: From Transistorsto Logic Gates and Logic Circuits Prof. Anne Bracy CS 3410 Computer Science

Introduction to Logic Relational Logic

EE3601-14 Electronics Circuit Design 1 14.1Digital Logic Gates 14.2nMOS Logic Families 14.3Dynamic MOS Logic Families 14.4CMOS Logic Families 14.5TTL Logic

Logic Intro (Logic Slide 1a)

Combining Description Logic, Autoepistemic Logic and Logic Programming

IX - Sequential Logic TechnologyContemporary Logic Design1 Ch 9. Sequential Logic Technologies

3.3 CMOS Logic 1. CMOS Logic Levels NextReturn Logic levels for typical CMOS Logic circuits. Logic 1 (HIGH) Logic 0 (LOW) Undefined Logic level 5.0V 3.5V

Gates and Logic: From Transistors to Logic Gates and Logic ......Gates and Logic: From Transistors to Logic Gates and Logic Circuits [Weatherspoon, Bala, Bracy, and Sirer] Prof. Hakim

Logic Puzzles and Modal Logic. Closure properties in modal logic

AR: clausal logic The step to Resolution. A deeper study: Modus ponens Ground Horn Logic Unification Horn Logic Resolution Clausal Logic Clausal Logic

AB-Fuzzy Logic -Logic Operations

Propositional Logic, Predicate Logic, and Logic Programmingcs500.cs.ua.edu/logic.pdfPropositional Logic, Predicate Logic, and Logic Programming. 2 ... For logical propositions to have

Logic - DHBW Stuttgarthladik/Logik/2015/logic - overlays.pdf · Logic, logic, logic... Why do computer scientists need logic? Mr Spock says: Logic is the beginning of wisdom, not